Repositories list

• incremental-hazelnut

  Public
  Code and formalism for incremental hazelnut

  Reason

  •1•0•0•0•Updated Apr 21, 2025Apr 21, 2025

• hazel

  Public
  Hazel, a live functional programming environment with typed holes

  editorfunctional-programmingelm+ 3reasonmlholesocaml

  Reason

  •

  MIT License

  •55•915•270•49•Updated Apr 21, 2025Apr 21, 2025

• build

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

  JavaScript

  •1•0•0•0•Updated Apr 20, 2025Apr 20, 2025

• tylr

  Public
  a tiny tile-based editor

  ocamlreasonmljs-of-ocaml+ 2holesstructure-editor

  Reason

  •

  MIT License

  •5•304•69•1•Updated Apr 16, 2025Apr 16, 2025

• incremental-statics-agda

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

  Agda

  •0•0•0•0•Updated Apr 16, 2025Apr 16, 2025

• tylr-agda

  Public
  Agda

  •0•0•0•0•Updated Apr 7, 2025Apr 7, 2025

• tylr-build

  Public
  HTML

  •1•1•0•0•Updated Mar 17, 2025Mar 17, 2025

• hazelgrove.github.io

  Public
  Website for hazelgrove project

  HTML

  •2•2•0•0•Updated Feb 17, 2025Feb 17, 2025

• incremental-statics-paper

  Public
  Incremental Bidirectional Typing via Order Maintenance

  TeX

  •0•1•0•0•Updated Feb 11, 2025Feb 11, 2025

• error-localization-paper

  Public
  Total type error localization and recovery with holes.

  TeX

  •0•1•0•0•Updated Jan 27, 2025Jan 27, 2025

• diy-hazelnut

  Public template
  A template for you to implement Hazelnut yourself

  Reason

  •3•21•1•2•Updated Jan 13, 2025Jan 13, 2025

• hazelnut-stepper-adga

  Public
  Dynamics for stepper filter in Agda

  Agda

  •0•0•0•0•Updated Sep 28, 2024Sep 28, 2024

• GRV

  Public
  JavaScript

  •0•7•4•1•Updated Sep 20, 2024Sep 20, 2024

• build-pre-july2024

  Public
  JavaScript

  •0•1•0•0•Updated Jul 25, 2024Jul 25, 2024

• tree-sitter-hazel

  Public
  A tree-sitter parser for the Hazel language

  C

  •0•0•0•0•Updated Jul 10, 2024Jul 10, 2024

• dependent-hazelnut

  Public
  Reason

  •0•0•0•0•Updated Jun 17, 2024Jun 17, 2024

• hazelnut-dynamics-agda

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

  Agda

  •

  MIT License

  •3•21•6•1•Updated Jun 16, 2024Jun 16, 2024

• hazelnut-polymorphism-agda

  Public
  Mechanization of polymorphism in hazelnut.

  Agda

  •

  MIT License

  •3•2•0•0•Updated Jun 16, 2024Jun 16, 2024

• environment

  Public
  Jupyter Notebook

  •0•4•0•0•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

  •0•4•1•2•Updated Dec 28, 2023Dec 28, 2023

• error-localization-artifact

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

  Reason

  •0•2•0•0•Updated Nov 15, 2023Nov 15, 2023

• chatLSP

  Public
  TypeScript

  •0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

• total-typing

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

  TeX

  •0•1•0•0•Updated Mar 24, 2023Mar 24, 2023

• assistant_rl_specification

  Public
  TeX

  •0•0•0•0•Updated Mar 24, 2023Mar 24, 2023

• assistant-paper

  Public
  Hazel assistant paper drafts

  TeX

  •0•0•0•0•Updated Dec 30, 2022Dec 30, 2022

• phi

  Public
  Proposals for Hazel Improvements (PHIs)

  Creative Commons Zero v1.0 Universal

  •1•1•0•12•Updated Oct 9, 2022Oct 9, 2022

• grain

  Public
  Reason

  •

  GNU Lesser General Public License v3.0

  •0•2•0•1•Updated Jul 3, 2022Jul 3, 2022

• hazelnut-agda

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

  Agda

  •

  MIT License

  •0•0•0•0•Updated Jun 21, 2022Jun 21, 2022

• patterns-agda

  Public
  A mechanization of "Pattern Matching with Typed Holes"

  Agda

  •0•0•0•0•Updated Mar 3, 2022Mar 3, 2022

• agda-popl17

  Public
  Mechanization of Hazelnut, as submitted to POPL 2017

  Agda

  •

  MIT License

  •1•16•1•0•Updated Nov 24, 2021Nov 24, 2021