hazelgrove

Pinned

1. hazel Public

   Hazel, a live functional programming environment with typed holes

   Reason 470 33

2. phi Public

   Proposals for Hazel Improvements (PHIs)

   1

3. hazelnut-dynamics-agda Public

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

   Agda 17 1

4. agda-popl17 Public

   Mechanization of Hazelnut, as submitted to POPL 2017

   Agda 14

5. HZ Public

   Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

   OCaml 28 3

6. tylr Public

   a tiny tile-based editor

   Reason 149