Skip to content

@hazelgrove Hazel

Change the repository type filter

All

    Repositories list

    58 repositories

    • hazel

      Public
      Hazel, a live functional programming environment with typed holes
      editorfunctional-programmingelmreasonmlholesocaml
      Reason
      •
      MIT License
      •54•887•262•44•Updated Feb 19, 2025Feb 19, 2025

    • build

      Public
      Hazel builds for deployment to hazel.org/build/<branch-name>
      JavaScript
      •0•0•0•0•Updated Feb 19, 2025Feb 19, 2025

    • tylr-build

      Public
      HTML
      •0•1•0•0•Updated Feb 18, 2025Feb 18, 2025

    • tylr

      Public
      a tiny tile-based editor
      ocamlreasonmljs-of-ocamlholesstructure-editor
      Reason
      •
      MIT License
      •4•300•24•1•Updated Feb 18, 2025Feb 18, 2025

    • hazelgrove.github.io

      Public
      Website for hazelgrove project
      HTML
      •2•2•0•0•Updated Feb 17, 2025Feb 17, 2025

    • incremental-hazelnut

      Public
      Code and formalism for incremental hazelnut
      Reason
      •1•0•0•0•Updated Feb 16, 2025Feb 16, 2025

    • incremental-statics-agda

      Public
      Mechanization of incremental actions and update dynamics for the marked lambda calculus.
      Agda
      •
      MIT License
      •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025

    • incremental-statics-paper

      Public
      Incremental Bidirectional Typing via Order Maintenance
      TeX
      •0•1•0•0•Updated Feb 11, 2025Feb 11, 2025

    • error-localization-paper

      Public
      Total type error localization and recovery with holes.
      TeX
      •0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

    • diy-hazelnut

      Public template
      A template for you to implement Hazelnut yourself
      Reason
      •3•21•1•2•Updated Jan 13, 2025Jan 13, 2025

    • hazelnut-stepper-adga

      Public
      Dynamics for stepper filter in Agda
      Agda
      •0•0•0•0•Updated Sep 28, 2024Sep 28, 2024

    • GRV

      Public
      JavaScript
      •0•6•4•1•Updated Sep 20, 2024Sep 20, 2024

    • build-pre-july2024

      Public
      JavaScript
      •0•1•0•0•Updated Jul 25, 2024Jul 25, 2024

    • tree-sitter-hazel

      Public
      A tree-sitter parser for the Hazel language
      C
      •0•0•0•0•Updated Jul 10, 2024Jul 10, 2024

    • dependent-hazelnut

      Public
      Reason
      •0•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • hazelnut-dynamics-agda

      Public
      mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
      Agda
      •
      MIT License
      •3•21•6•1•Updated Jun 16, 2024Jun 16, 2024

    • hazelnut-polymorphism-agda

      Public
      Mechanization of polymorphism in hazelnut.
      Agda
      •
      MIT License
      •3•2•0•0•Updated Jun 16, 2024Jun 16, 2024

    • environment

      Public
      Jupyter Notebook
      •0•4•0•0•Updated Jan 3, 2024Jan 3, 2024

    • error-localization-agda

      Public
      Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
      Agda
      •0•4•1•2•Updated Dec 28, 2023Dec 28, 2023

    • error-localization-artifact

      Public
      POPL 2024 artifact for Total Type Error Localization and Recovery with Holes
      Reason
      •0•2•0•0•Updated Nov 15, 2023Nov 15, 2023

    • chatLSP

      Public
      TypeScript
      •0•0•0•0•Updated Jun 16, 2023Jun 16, 2023

    • total-typing

      Public
      Formalization of the Hazel 3 type system, loosely as-implemented
      TeX
      •0•1•0•0•Updated Mar 24, 2023Mar 24, 2023

    • assistant_rl_specification

      Public
      TeX
      •0•0•0•0•Updated Mar 24, 2023Mar 24, 2023

    • assistant-paper

      Public
      Hazel assistant paper drafts
      TeX
      •0•0•0•0•Updated Dec 30, 2022Dec 30, 2022

    • phi

      Public
      Proposals for Hazel Improvements (PHIs)
      Creative Commons Zero v1.0 Universal
      •1•1•0•12•Updated Oct 9, 2022Oct 9, 2022

    • grain

      Public
      Reason
      •
      GNU Lesser General Public License v3.0
      •0•2•0•1•Updated Jul 3, 2022Jul 3, 2022

    • hazelnut-agda

      Public
      Mechanization of Hazelnut with product, sum, and recursive types.
      Agda
      •
      MIT License
      •0•0•0•0•Updated Jun 21, 2022Jun 21, 2022

    • patterns-agda

      Public
      A mechanization of "Pattern Matching with Typed Holes"
      Agda
      •0•0•0•0•Updated Mar 3, 2022Mar 3, 2022

    • agda-popl17

      Public
      Mechanization of Hazelnut, as submitted to POPL 2017
      Agda
      •
      MIT License
      •1•16•1•0•Updated Nov 24, 2021Nov 24, 2021

    • livelits-paper

      Public
      Filling Typed Holes with Live GUIs
      JavaScript
      •0•3•1•0•Updated Apr 14, 2021Apr 14, 2021