Skip to content
@hazelgrove

Hazel

Pinned Loading

  1. hazel Public

    Hazel, a live functional programming environment with typed holes

    Reason 906 55

  2. tylr Public

    a tiny tile-based editor

    Reason 304 5

Repositories

Showing 10 of 58 repositories
  • build Public

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

    JavaScript 0 1 0 0 Updated Mar 24, 2025
  • hazel Public

    Hazel, a live functional programming environment with typed holes

    Reason 906 MIT 55 254 50 Updated Mar 24, 2025
  • incremental-hazelnut Public

    Code and formalism for incremental hazelnut

    Reason 0 1 0 0 Updated Mar 23, 2025
  • incremental-statics-agda Public

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

    Agda 0 MIT 0 0 0 Updated Mar 22, 2025
  • tylr-build Public
    HTML 1 1 0 0 Updated Mar 17, 2025
  • tylr Public

    a tiny tile-based editor

    Reason 304 MIT 5 70 1 Updated Mar 17, 2025
  • hazelgrove.github.io Public

    Website for hazelgrove project

    HTML 2 2 0 0 Updated Feb 17, 2025
  • incremental-statics-paper Public

    Incremental Bidirectional Typing via Order Maintenance

    TeX 1 0 0 0 Updated Feb 11, 2025
  • error-localization-paper Public

    Total type error localization and recovery with holes.

    TeX 1 0 0 0 Updated Jan 27, 2025
  • diy-hazelnut Public template

    A template for you to implement Hazelnut yourself

    Reason 21 3 1 2 Updated Jan 13, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…