Hazel

Pinned Repositories

agda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017
Language:Agda16 5 371
diy-hazelnut
A template for you to implement Hazelnut yourself
Language:Reason19 10 63
GRV
Language:JavaScript6 6 250
hazel
Hazel, a live functional programming environment with typed holes
Language:Reason808 16 78452
hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Language:Agda21 7 553
hazelnut-dynamics-paper
Paper exploring the dynamic semantics of Hazelnut
Language:TeX5 7 222
hazelnut-livelits-agda
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Language:Agda5 7 100
HZ
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
Language:OCaml29 8 333
livelits-tyde
Submission: "Livelits: Filling Typed Holes with Live GUIs (Extended Abstract)" to TyDe 2019 (ICFP workshop)
Language:TeX6 8 02
tylr
a tiny tile-based editor
Language:Reason285 12 703

Hazel's Repositories

hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
Language:Reason808 16 78452
hazelgrove/tylr
a tiny tile-based editor
Language:Reason285 12 703
hazelgrove/hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Language:Agda21 7 553
hazelgrove/diy-hazelnut
A template for you to implement Hazelnut yourself
Language:Reason19 10 63
hazelgrove/agda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017
Language:Agda16 5 371
hazelgrove/GRV
Language:JavaScript6 6 250
hazelgrove/hazelnut-livelits-agda
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Language:Agda5 7 100
hazelgrove/environment
Language:Jupyter Notebook4 5 00
hazelgrove/error-localization-agda
Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
Language:Agda4 3 70
hazelgrove/livelits-paper
Filling Typed Holes with Live GUIs
Language:JavaScript3 8 2
hazelgrove/error-localization-artifact
POPL 2024 artifact for Total Type Error Localization and Recovery with Holes
Language:Reason2 9 0
hazelgrove/grain
Language:Reason2 3 0
hazelgrove/hazelgrove.github.io
Website for hazelgrove project
Language:HTML2 6 112
hazelgrove/hazelnut-polymorphism-agda
Mechanization of polymorphism in hazelnut.
Language:Agda2 1 0
hazelgrove/build
Hazel builds for deployment to hazel.org/build/<branch-name>
Language:JavaScript1 7 00
hazelgrove/build-pre-july2024
Language:JavaScript1 8 00
hazelgrove/phi
Proposals for Hazel Improvements (PHIs)
1 2 01
hazelgrove/total-typing
Formalization of the Hazel 3 type system, loosely as-implemented
Language:TeX1 8 0
hazelgrove/tylr-build
Language:HTML1 8 0
hazelgrove/dependent-hazelnut
Language:Reason0 8 00
hazelgrove/error-localization-paper
Total type error localization and recovery with holes.
Language:TeX0 9 00
hazelgrove/patterns-agda
A mechanization of "Pattern Matching with Typed Holes"
Language:Agda0 10 00
hazelgrove/assistant-paper
Hazel assistant paper drafts
Language:TeX9 0
hazelgrove/assistant_rl_specification
Language:TeX8 0
hazelgrove/chatLSP
Language:TypeScript8 0
hazelgrove/hazelnut-agda
Mechanization of Hazelnut with product, sum, and recursive types.
Language:Agda10 0
hazelgrove/hazelnut-stepper-adga
Dynamics for stepper filter in Agda
Language:Agda1 0
hazelgrove/incremental-hazelnut
Code and formalism for incremental hazelnut
Language:TeX8 0
hazelgrove/incremental-statics-agda
Mechanization of incremental actions and update dynamics for the marked lambda calculus.
Language:Agda
hazelgrove/tree-sitter-hazel
A tree-sitter parser for the Hazel language
Language:C8 0