Hazel

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

hazelgrove/build’s past year of commit activity

JavaScript 0 1 0 0 Updated Jul 8, 2025
hazel Public
Hazel, a live functional programming environment with typed holes

hazelgrove/hazel’s past year of commit activity

Reason 934 MIT 58 317 57 Updated Jul 8, 2025
hazelgrove.github.io Public
Website for hazelgrove project

hazelgrove/hazelgrove.github.io’s past year of commit activity

HTML 2 2 0 0 Updated Jul 7, 2025
incremental-hazelnut Public
Code and formalism for incremental hazelnut

hazelgrove/incremental-hazelnut’s past year of commit activity

Reason 0 1 0 0 Updated Jul 3, 2025
tylr-build Public

hazelgrove/tylr-build’s past year of commit activity

HTML 1 1 0 0 Updated Jun 26, 2025
tylr Public
a tiny tile-based editor

hazelgrove/tylr’s past year of commit activity

Reason 304 MIT 5 69 2 Updated Jun 26, 2025
h4zel-mini Public
Architecture integration workbench for new Hazel features

hazelgrove/h4zel-mini’s past year of commit activity

Reason 4 0 0 0 Updated Jun 16, 2025
diy-hazelnut Public template
A template for you to implement Hazelnut yourself

hazelgrove/diy-hazelnut’s past year of commit activity

Reason 22 5 1 3 Updated Jun 3, 2025
incremental-statics-agda Public
Mechanization of incremental actions and update dynamics for the marked lambda calculus.

hazelgrove/incremental-statics-agda’s past year of commit activity

Agda 0 0 0 0 Updated Apr 30, 2025
tylr-agda Public

hazelgrove/tylr-agda’s past year of commit activity

Agda 0 0 0 0 Updated Apr 7, 2025

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Hazel

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics