Repositories list

• build

  Public
  Hazel builds for deployment to hazel.org/build/<branch-name>

  JavaScript

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 2, 2026Sep 2, 2026

• hazel

  Public
  Hazel, a live functional programming environment with typed holes

  editorfunctional-programmingelm+ 3

  editorfunctional-programmingelmocamlreasonmlholes

  Reason

  •

  MIT License

  •6767 forks•1.1k1.1k stars•336336 issues•9090 pull requests•Updated Sep 2, 2026Sep 2, 2026

• hazelgrove.github.io

  Public
  Website for hazelgrove project

  HTML

  •22 forks•22 stars•00 issues•00 pull requests•Updated Aug 26, 2026Aug 26, 2026

• hazelnut-stepper-adga

  Public
  Dynamics for stepper filter in Agda

  Agda

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 29, 2026May 29, 2026

• diy-marking

  Public template
  Template for implementing Hazelnut (POPL 2017) with total type error localization (POPL 2024)

  Reason

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 26, 2026Apr 26, 2026

• diy-hazelnut

  Public template
  A template for you to implement Hazelnut yourself

  Reason

  •44 forks•2323 stars•11 issue•00 pull requests•Updated Apr 24, 2026Apr 24, 2026

• h4zel-mini

  Public
  Architecture integration workbench for new Hazel features

  Rust

  •11 fork•44 stars•1919 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• tylr-build

  Public
  HTML

  •11 fork•11 star•00 issues•00 pull requests•Updated Dec 8, 2025Dec 8, 2025

• tylr

  Public
  a tiny tile-based editor

  ocamlreasonmljs-of-ocaml+ 2

  ocamlreasonmljs-of-ocamlholesstructure-editor

  Reason

  •

  MIT License

  •77 forks•327327 stars•6969 issues•11 pull request•Updated Nov 24, 2025Nov 24, 2025

• incremental-hazelnut

  Public
  Code and formalism for incremental hazelnut

  Reason

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 26, 2025Sep 26, 2025

• incremental-statics-paper

  Public
  Incremental Bidirectional Typing via Order Maintenance

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Aug 21, 2025Aug 21, 2025

• incremental-statics-agda

  Public
  Mechanization of incremental actions and update dynamics for the marked lambda calculus.

  Agda

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 30, 2025Apr 30, 2025

• tylr-agda

  Public
  Agda

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 7, 2025Apr 7, 2025

• error-localization-paper

  Public
  Total type error localization and recovery with holes.

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 27, 2025Jan 27, 2025

• GRV

  Public
  JavaScript

  •11 fork•1010 stars•44 issues•11 pull request•Updated Sep 20, 2024Sep 20, 2024

• build-pre-july2024

  Public
  JavaScript

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 25, 2024Jul 25, 2024

• tree-sitter-hazel

  Public
  A tree-sitter parser for the Hazel language

  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 10, 2024Jul 10, 2024

• dependent-hazelnut

  Public
  Reason

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2024Jun 17, 2024

• hazelnut-dynamics-agda

  Public
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics

  Agda

  •

  MIT License

  •33 forks•2121 stars•66 issues•11 pull request•Updated Jun 16, 2024Jun 16, 2024

• hazelnut-polymorphism-agda

  Public
  Mechanization of polymorphism in hazelnut.

  Agda

  •

  MIT License

  •33 forks•11 star•00 issues•00 pull requests•Updated Jun 16, 2024Jun 16, 2024

• environment

  Public
  Jupyter Notebook

  •00 forks•44 stars•00 issues•00 pull requests•Updated Jan 3, 2024Jan 3, 2024

• error-localization-agda

  Public
  Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.

  Agda

  •00 forks•44 stars•11 issue•22 pull requests•Updated Dec 28, 2023Dec 28, 2023

• error-localization-artifact

  Public
  POPL 2024 artifact for Total Type Error Localization and Recovery with Holes

  Reason

  •00 forks•22 stars•00 issues•00 pull requests•Updated Nov 15, 2023Nov 15, 2023

• chatLSP

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 16, 2023Jun 16, 2023

• total-typing

  Public
  Formalization of the Hazel 3 type system, loosely as-implemented

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 24, 2023Mar 24, 2023

• assistant_rl_specification

  Public
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 24, 2023Mar 24, 2023

• assistant-paper

  Public
  Hazel assistant paper drafts

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 30, 2022Dec 30, 2022

• phi

  Public
  Proposals for Hazel Improvements (PHIs)

  Creative Commons Zero v1.0 Universal

  •11 fork•11 star•00 issues•1111 pull requests•Updated Oct 9, 2022Oct 9, 2022

• grain

  Public
  Reason

  •

  GNU Lesser General Public License v3.0

  •00 forks•22 stars•00 issues•11 pull request•Updated Jul 3, 2022Jul 3, 2022

• hazelnut-agda

  Public
  Mechanization of Hazelnut with product, sum, and recursive types.

  Agda

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 21, 2022Jun 21, 2022