Hazel
Results
6
repositories owned by
Hazel
hazel
670
Stars
43
Forks
Watchers
Hazel, a live functional programming environment with typed holes
tylr
263
Stars
2
Forks
Watchers
a tiny tile-based editor
hazelnut-dynamics-agda
19
Stars
3
Forks
Watchers
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
HZ
29
Stars
3
Forks
Watchers
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)