hazelgrove / hazelLinks
Hazel, a live functional programming environment with typed holes
☆1,016Updated this week
Alternatives and similar repositories for hazel
Users that are interested in hazel are comparing it to the libraries listed below
Sorting:
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,376Updated last month
- A programming language with static memory management based on λ-calculus☆1,003Updated 3 weeks ago
- A modern supercompiler for call-by-value functional languages☆422Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆437Updated this week
- A functional programming language based on algebraic effect handlers☆884Updated last month
- A list of projectional and structural editors☆386Updated 4 months ago
- The Pyret language.☆1,102Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆390Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆629Updated 3 months ago
- Inpla: Interaction nets as a programming language (the current version)☆310Updated 10 months ago
- a tiny tile-based editor☆305Updated 3 weeks ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆909Updated 5 months ago
- a structured interaction engine 🗜️ ⚗️☆477Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,075Updated 4 months ago
- The Mercury logic programming system.☆964Updated this week
- OCaml - Oxidized!☆469Updated this week
- An APL-like programming language☆995Updated last week
- Proving leftpad correct two-dozen different ways☆688Updated 4 months ago
- Compiler for the Mirth programming language.☆473Updated 3 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,140Updated 5 months ago
- Minimal implementations for dependent type checking and elaboration☆730Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,046Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Parser combinators built for speed and memory efficiency☆687Updated 11 months ago
- An introduction to programming language theory in Agda☆1,451Updated 2 weeks ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆389Updated 2 weeks ago
- Rhombus programming language☆473Updated last week
- A garden of small programming language implementations 🪴☆279Updated this week
- A library for building dynamic webapps, using Js_of_ocaml☆589Updated 3 weeks ago