slovnicki / pLam
An interpreter for learning and exploring pure λ-calculus
☆449Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for pLam
- Functional programming with fewer indirections☆761Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,029Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- 🕵️ Haskell STatic ANalyser☆570Updated last month
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆286Updated 9 months ago
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆701Updated 3 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆590Updated 3 weeks ago
- Demo for high-performance type theory elaboration☆519Updated last year
- A categorical programming language with effects☆267Updated last year
- Industrial-strength monadic parser combinator library☆915Updated last month
- Spartan type theory☆254Updated 5 months ago
- An introductory course to Homotopy Type Theory☆359Updated 4 years ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- A functional programming language with static memory management☆841Updated this week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆365Updated last year
- A reference library for constraint-solving with propagators and CDCL.☆302Updated 4 months ago
- Minimal implementations for dependent type checking and elaboration☆615Updated last month
- Algebraic graphs☆719Updated 5 months ago
- A List of Foundational Haskell Papers☆863Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆752Updated last month
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆502Updated 4 months ago
- higher-order, no-boilerplate monads☆1,034Updated last week
- Proving leftpad correct two-dozen different ways☆649Updated 9 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Haskell bindings for LLVM☆503Updated 3 months ago
- A prototype successor to Idris☆539Updated 5 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago