hazelgrove Goto Github PK

action-macros-paper

Paper about composing edit actions in a macro-like way to define higher-level edit actions in Hazel

agda-popl17

Mechanization of Hazelnut, as submitted to POPL 2017

agda-tfp16

Formalization of joint work submitted to TFP2016 (deprecated, see agda-popl17)

artifact-popl17

POPL17 paper artifact

assistant-paper

Hazel assistant paper drafts

assistant_rl_specification

build

chatlsp

definitively-hazel

Definitively Hazel (The Definition of the Hazel Programming Environment)

diy-hazelnut

A template for you to implement Hazelnut yourself

editor-tfp16

submission to TFP 2016 (draft, see hazelnut-popl17 for latest)

editor-tyde19

editorializer

environment

error-localization-agda

Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.

error-localization-artifact

POPL 2024 artifact for Total Type Error Localization and Recovery with Holes

error-localization-paper

Total type error localization and recovery with holes.

grain

graphics

graphics and logos for hazelnut and hazelgove

grove-paper

grv

hazel

Hazel, a live functional programming environment with typed holes

hazel-strangeloop

Hazel proposal for Strange Loop

hazel-vision-tr

Vision paper accepted to SNAPL 2017.

hazelgrove

Issue tracking repository for the group.

hazelgrove.github.io

Website for hazelgrove project

hazelnat-myth-agda

The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamics

hazelnut-agda

Mechanization of Hazelnut with product, sum, and recursive types.

hazelnut-dynamics-agda

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

hazelnut-dynamics-paper

Paper exploring the dynamic semantics of Hazelnut