Hazel builds for deployment to hazel.org/build/<branch-name>

Hazel, a live functional programming environment with typed holes

Architecture integration workbench for new Hazel features

a tiny tile-based editor

Website for hazelgrove project

Code and formalism for incremental hazelnut

Incremental Bidirectional Typing via Order Maintenance

A template for you to implement Hazelnut yourself

Mechanization of incremental actions and update dynamics for the marked lambda calculus.