Hazel https://hazel.org/ is a live functional-programming environment rooted in the principles of type theory https://github.com/hazelgrove/hazel #OCaml #Productivity #Tool