Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by hazelgrove
A curated list of projects in awesome lists by hazelgrove .
https://github.com/hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
editor elm functional-programming holes ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/hazelgrove/tylr
a tiny tile-based editor
holes js-of-ocaml ocaml reasonml structure-editor
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hz
Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Last synced: 12 Nov 2024
https://github.com/hazelgrove/diy-hazelnut
A template for you to implement Hazelnut yourself
Last synced: 12 Nov 2024
https://github.com/hazelgrove/agda-popl17
Mechanization of Hazelnut, as submitted to POPL 2017
Last synced: 12 Nov 2024
https://github.com/hazelgrove/livelits-tyde
Submission: "Livelits: Filling Typed Holes with Live GUIs (Extended Abstract)" to TyDe 2019 (ICFP workshop)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-livelits-agda
mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-dynamics-paper
Paper exploring the dynamic semantics of Hazelnut
Last synced: 12 Nov 2024
https://github.com/hazelgrove/livelits-paper
Filling Typed Holes with Live GUIs
Last synced: 12 Nov 2024
https://github.com/hazelgrove/agda-tfp16
Formalization of joint work submitted to TFP2016 (deprecated, see agda-popl17)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/impl-tfp16
Holes and Zippers (deprecated, see HZ)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/editor-tfp16
submission to TFP 2016 (draft, see hazelnut-popl17 for latest)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelgrove.github.io
Website for hazelgrove project
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-icfp17
possible submission to icfp17, extending hazelnut with dynamics
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazel-vision-tr
Vision paper accepted to SNAPL 2017.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnat-myth-agda
The mechanization of our ongoing work on type+example synthesis with big-step hazelnut dynamics
Last synced: 12 Nov 2024
https://github.com/hazelgrove/action-macros-paper
Paper about composing edit actions in a macro-like way to define higher-level edit actions in Hazel
Last synced: 12 Nov 2024
https://github.com/hazelgrove/error-localization-paper
Total type error localization and recovery with holes.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-agda
Mechanization of Hazelnut with product, sum, and recursive types.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/palettes-obt19
OBT 2019 submission on palettes
Last synced: 12 Nov 2024
https://github.com/hazelgrove/error-localization-agda
Mechanization of the marked lambda calculus, a judgmental framework for total bidirectional type error localization and recovery.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/likelihood-paper
A calculus for computing the contextual likelihood of typed programs and edit actions
Last synced: 12 Nov 2024
https://github.com/hazelgrove/live2018
Submission to the LIVE workshop at SPLASH 2018
Last synced: 12 Nov 2024
https://github.com/hazelgrove/tree-sitter-hazel
A tree-sitter parser for the Hazel language
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-vagrant
maintains a vagrant file that describes a virtual machine with the various artifacts set up
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelgrove
Issue tracking repository for the group.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/definitively-hazel
Definitively Hazel (The Definition of the Hazel Programming Environment)
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazel-strangeloop
Hazel proposal for Strange Loop
Last synced: 12 Nov 2024
https://github.com/hazelgrove/graphics
graphics and logos for hazelnut and hazelgove
Last synced: 12 Nov 2024
https://github.com/hazelgrove/hazelnut-stepper-adga
Dynamics for stepper filter in Agda
Last synced: 12 Nov 2024
https://github.com/hazelgrove/incremental-statics-agda
Mechanization of incremental actions and update dynamics for the marked lambda calculus.
Last synced: 12 Nov 2024
https://github.com/hazelgrove/live2017
Hazelnut Live submission to the LIVE 2017 workshop
Last synced: 12 Nov 2024
https://github.com/hazelgrove/error-localization-artifact
POPL 2024 artifact for Total Type Error Localization and Recovery with Holes
Last synced: 12 Nov 2024
https://github.com/hazelgrove/patterns-agda
A mechanization of "Pattern Matching with Typed Holes"
Last synced: 12 Nov 2024
https://github.com/hazelgrove/stepper-paper
Paper on the Hazel single-stepper
Last synced: 12 Nov 2024