Pinned repositories

  1. hazel

    Hazel, a live functional programming environment with typed holes

    Coq 42 5

  2. hazelnut-dynamics

    Paper exploring the dynamic semantics of Hazelnut

    TeX

  3. hazelnut-dynamics-agda

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

    Agda 2

  4. hazelnut-popl17

    Submission to POPL 2017

    TeX 2 1

  5. agda-popl17

    Mechanization of Hazelnut, as submitted to POPL 2017

    Agda 11

  6. hazelgrove

    Issue tracking repository for the group.

  • Paper exploring the dynamic semantics of Hazelnut

    TeX Updated Jul 13, 2018
  • Website for hazelgrove project

    HTML 1 2 Updated Jun 13, 2018
  • Hazel, a live functional programming environment with typed holes

    Coq 42 5 MIT Updated Jun 11, 2018
  • Paper about composing edit actions in a macro-like way to define higher-level edit actions in Hazel

    TeX Updated Jun 5, 2018
  • Paper describing our work on integrating direct manipulation interfaces directly into programs, and programs directly into direct manipulation interfaces, using typed holes.

    TeX Updated Jun 5, 2018
  • A paper describing Grove, a version of the Hazelnut calculus that supports convergent replicas

    TeX Updated Jun 5, 2018
  • Agda 2 MIT Updated May 11, 2018
  • Hazel proposal for Strange Loop

    Updated May 10, 2018
  • Hazelnut Live submission to the LIVE 2017 workshop

    TeX 1 Updated Sep 22, 2017
  • Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

    OCaml 27 3 MIT Updated Sep 4, 2017
  • Mechanization of Hazelnut, as submitted to POPL 2017

    Agda 11 MIT Updated Jun 1, 2017
  • A calculus for computing the contextual likelihood of typed programs and edit actions

    TeX Updated May 6, 2017
  • Vision paper accepted to SNAPL 2017.

    TeX 1 Updated Mar 25, 2017
  • MIT Updated Feb 23, 2017
  • submission to OBT2017

    TeX Updated Feb 23, 2017
  • graphics and logos for hazelnut and hazelgove

    Updated Jan 19, 2017
  • maintains a vagrant file that describes a virtual machine with the various artifacts set up

    Updated Dec 15, 2016
  • Submission to POPL 2017

    TeX 2 1 Updated Dec 7, 2016
  • possible submission to icfp17, extending hazelnut with dynamics

    TeX 1 Updated Nov 23, 2016
  • POPL17 paper artifact

    3 Updated Oct 11, 2016
  • Holes and Zippers (deprecated, see HZ)

    OCaml 3 MIT Updated Jul 7, 2016
  • Formalization of joint work submitted to TFP2016 (deprecated, see agda-popl17)

    Agda 3 MIT Updated Jul 1, 2016
  • submission to TFP 2016 (draft, see hazelnut-popl17 for latest)

    TeX 2 Updated Jun 1, 2016
  • Issue tracking repository for the group.

    Updated Apr 13, 2016