hazelgrove / hazelLinks
Hazel, a live functional programming environment with typed holes
☆1,035Updated this week
Alternatives and similar repositories for hazel
Users that are interested in hazel are comparing it to the libraries listed below
Sorting:
- a tiny tile-based editor☆308Updated last week
- A functional programming language based on algebraic effect handlers☆887Updated 2 months ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆423Updated 3 weeks ago
- Systems language with linear types and capability-based security.☆1,388Updated last month
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆465Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆394Updated this week
- A list of projectional and structural editors☆389Updated 3 weeks ago
- A programming language with static memory management based on λ-calculus☆1,005Updated this week
- The Pyret language.☆1,109Updated 2 weeks ago
- The Mercury logic programming system.☆966Updated this week
- a structured interaction engine 🗜️ ⚗️☆479Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆312Updated 10 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆401Updated 3 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆632Updated 4 months ago
- An APL-like programming language☆999Updated 3 weeks ago
- Compiler for the Mirth programming language.☆475Updated 4 months ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,087Updated 3 weeks ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆392Updated last week
- CakeML: A Verified Implementation of ML☆1,079Updated this week
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆909Updated 5 months ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆730Updated 4 years ago
- Rhombus programming language☆481Updated this week
- A garden of small programming language implementations 🪴☆286Updated last week
- Parser combinators built for speed and memory efficiency☆688Updated last year
- Minimal implementations for dependent type checking and elaboration☆733Updated last month
- An introduction to programming language theory in Agda☆1,454Updated 2 weeks ago
- OCaml - Oxidized!☆501Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,050Updated 3 months ago