Hazel's repositories
hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
agda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017
diy-hazelnut
A template for you to implement Hazelnut yourself
livelits-tyde
Submission: "Livelits: Filling Typed Holes with Live GUIs (Extended Abstract)" to TyDe 2019 (ICFP workshop)
hazelnut-livelits-agda
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
error-localization-agda
Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
livelits-paper
Filling Typed Holes with Live GUIs
error-localization-artifact
POPL 2024 artifact for Total Type Error Localization and Recovery with Holes
hazelgrove.github.io
Website for hazelgrove project
hazelnat-myth-agda
The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamics
hazelnut-polymorphism-agda
Mechanization of polymorphism in hazelnut.
total-typing
Formalization of the Hazel 3 type system, loosely as-implemented
error-localization-paper
Total type error localization and recovery with holes.
assistant-paper
Hazel assistant paper drafts
definitively-hazel
Definitively Hazel (The Definition of the Hazel Programming Environment)
hazelnut-agda
Mechanization of Hazelnut with product, sum, and recursive types.
patterns-agda
A mechanization of "Pattern Matching with Typed Holes"
tree-sitter-hazel
A tree-sitter parser for the Hazel language