3 open source projects by hazelgrove

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

Hazel, a live functional programming environment with typed holes

Mechanization of Hazelnut, as submitted to POPL 2017