hazelgrove/agda-tfp16 hazelgrove/agda-tfp16

  • Stars
    star
    3
  • Rank 3,869,437 (Top 78 %)
  • Language Agda
  • License
    MIT License
  • Created about 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hazelgrove/agda-tfp16
github

hazelgrove

Reviews

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

Repository Details

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

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

impl-tfp16

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

artifact-popl17

POPL17 paper artifact
3
star
14

livelits-paper

Filling Typed Holes with Live GUIs
JavaScript
3
star
15

GRV

OCaml
3
star
16

grain

Reason
2
star
17

hazelnut-popl17

Submission to POPL 2017
TeX
2
star
18

editor-tfp16

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

editor-tyde19

TeX
2
star
20

error-localization-artifact

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

hazelnut-icfp17

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

tylr-build

HTML
1
star
23

phi

Proposals for Hazel Improvements (PHIs)
1
star
24

hazel-vision-tr

Vision paper accepted to SNAPL 2017.
TeX
1
star
25

action-macros-paper

Paper about composing edit actions in a macro-like way to define higher-level edit actions in Hazel
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