There are no reviews yet. Be the first to send feedback to the community and the maintainers!
hazel
Hazel, a live functional programming environment with typed holestylr
a tiny tile-based editorHZ
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamicsagda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017diy-hazelnut
A template for you to implement Hazelnut yourselflivelits-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-paperhazelnut-dynamics-paper
Paper exploring the dynamic semantics of Hazelnutenvironment
error-localization-agda
Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.agda-tfp16
Formalization of joint work submitted to TFP2016 (deprecated, see agda-popl17)impl-tfp16
Holes and Zippers (deprecated, see HZ)artifact-popl17
POPL17 paper artifactlivelits-paper
Filling Typed Holes with Live GUIsGRV
grain
editor-tfp16
submission to TFP 2016 (draft, see hazelnut-popl17 for latest)editor-tyde19
error-localization-artifact
POPL 2024 artifact for Total Type Error Localization and Recovery with Holeshazelnut-icfp17
possible submission to icfp17, extending hazelnut with dynamicstylr-build
phi
Proposals for Hazel Improvements (PHIs)hazel-vision-tr
Vision paper accepted to SNAPL 2017.action-macros-paper
Paper about composing edit actions in a macro-like way to define higher-level edit actions in Hazelhazelgrove.github.io
Website for hazelgrove projecttotal-typing
Formalization of the Hazel 3 type system, loosely as-implementedbuild
grove-paper
hazelnat-myth-agda
The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamicsLove Open Source and this site? Check out how you can help us