Hazel, a live functional programming environment with typed holes

a tiny tile-based editor

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

Dynamics for stepper filter in Agda

A template for you to implement Hazelnut yourself

A tree-sitter parser for the Hazel language