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

Hazel, a live functional programming environment with typed holes

a tiny tile-based editor

Dynamics for stepper filter in Agda

A template for you to implement Hazelnut yourself

A tree-sitter parser for the Hazel language

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