hazelgrove/action-macros-paper hazelgrove/action-macros-paper

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hazelgrove/action-macros-paper
github

hazelgrove

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

hazel

Hazel, a live functional programming environment with typed holes
OCaml
664
star
2

tylr

a tiny tile-based editor
Reason
263
star
3

HZ

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
OCaml
29
star
4

hazelnut-dynamics-agda

mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Agda
20
star
5

agda-popl17

Mechanization of Hazelnut, as submitted to POPL 2017
Agda
16
star
6

diy-hazelnut

A template for you to implement Hazelnut yourself
Reason
16
star
7

livelits-tyde

Submission: "Livelits: Filling Typed Holes with Live GUIs (Extended Abstract)" to TyDe 2019 (ICFP workshop)
TeX
6
star
8

hazelnut-livelits-agda

mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Agda
5
star
9

hazelnut-dynamics-paper

Paper exploring the dynamic semantics of Hazelnut
TeX
5
star
10

environment

Jupyter Notebook
4
star
11

error-localization-agda

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

agda-tfp16

Formalization of joint work submitted to TFP2016 (deprecated, see agda-popl17)
Agda
3
star
13

impl-tfp16

Holes and Zippers (deprecated, see HZ)
OCaml
3
star
14

artifact-popl17

POPL17 paper artifact
3
star
15

livelits-paper

Filling Typed Holes with Live GUIs
JavaScript
3
star
16

GRV

OCaml
3
star
17

grain

Reason
2
star
18

hazelnut-popl17

Submission to POPL 2017
TeX
2
star
19

editor-tfp16

submission to TFP 2016 (draft, see hazelnut-popl17 for latest)
TeX
2
star
20

editor-tyde19

TeX
2
star
21

error-localization-artifact

POPL 2024 artifact for Total Type Error Localization and Recovery with Holes
Reason
2
star
22

hazelnut-icfp17

possible submission to icfp17, extending hazelnut with dynamics
TeX
1
star
23

tylr-build

HTML
1
star
24

phi

Proposals for Hazel Improvements (PHIs)
1
star
25

hazel-vision-tr

Vision paper accepted to SNAPL 2017.
TeX
1
star
26

hazelgrove.github.io

Website for hazelgrove project
HTML
1
star
27

total-typing

Formalization of the Hazel 3 type system, loosely as-implemented
TeX
1
star
28

build

JavaScript
1
star
29

grove-paper

TeX
1
star
30

hazelnat-myth-agda

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