Skip to content
@hazelgrove

Hazel

Pinned Loading

  1. hazel hazel Public

    Hazel, a live functional programming environment with typed holes

    Reason 1.1k 61

  2. tylr tylr Public

    a tiny tile-based editor

    Reason 316 7

Repositories

Showing 10 of 60 repositories
  • 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 Jan 15, 2026
  • hazel Public

    Hazel, a live functional programming environment with typed holes

    hazelgrove/hazel’s past year of commit activity
    Reason 1,064 MIT 61 265 81 Updated Jan 15, 2026
  • h4zel-mini Public

    Architecture integration workbench for new Hazel features

    hazelgrove/h4zel-mini’s past year of commit activity
    Rust 4 1 19 0 Updated Jan 14, 2026
  • tylr-build Public
    hazelgrove/tylr-build’s past year of commit activity
    HTML 1 1 0 0 Updated Dec 8, 2025
  • tylr Public

    a tiny tile-based editor

    hazelgrove/tylr’s past year of commit activity
    Reason 316 MIT 7 69 2 Updated Nov 24, 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 Oct 8, 2025
  • incremental-hazelnut Public

    Code and formalism for incremental hazelnut

    hazelgrove/incremental-hazelnut’s past year of commit activity
    Reason 1 1 0 0 Updated Sep 26, 2025
  • incremental-statics-paper Public

    Incremental Bidirectional Typing via Order Maintenance

    hazelgrove/incremental-statics-paper’s past year of commit activity
    TeX 1 0 0 0 Updated Aug 21, 2025
  • diy-hazelnut Public template

    A template for you to implement Hazelnut yourself

    hazelgrove/diy-hazelnut’s past year of commit activity
    Reason 22 4 1 0 Updated Jul 15, 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 1 0 0 0 Updated Apr 30, 2025
View all repositories

Top languages

Loading…