the-little-typer / pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
☆694Updated 3 years ago
Related projects: ⓘ
- Typed Racket☆521Updated 2 weeks ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- ☆417Updated 7 months ago
- A prototype successor to Idris☆539Updated 5 years ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- Functional programming with fewer indirections☆758Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆746Updated 2 weeks ago
- Write You a Scheme☆552Updated last year
- Poly/ML☆483Updated last month
- The MLton repository☆945Updated last month
- A functional programming language based on algebraic effect handlers☆858Updated last week
- Minimal implementations for dependent type checking and elaboration☆600Updated last month
- Liquid Types For Haskell☆1,181Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,019Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- Canonical miniKanren implementation☆349Updated 6 years ago
- A demo implementation of a simple dependently-typed language☆557Updated last month
- A fast, flexible, fused effect system for Haskell☆642Updated 3 weeks ago
- papers of Per Martin Löf☆744Updated 7 months ago
- An introduction to programming language theory in Agda☆1,355Updated this week
- A monadic parser combinator library☆842Updated 4 months ago
- Industrial-strength monadic parser combinator library☆910Updated last week
- Project: M36 Relational Algebra Engine☆888Updated last week
- Miscellaneous articles. The readme is the table of contents.☆1,249Updated last year
- Experimental implementation of Cubical Type Theory☆567Updated 11 months ago
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- Algebraic graphs☆715Updated 4 months ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆308Updated 10 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month