lambdapi
Dependently Typed Lambda Calculus in Haskell
AI summary
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
- stars
- 112
- forks
- 21
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Lambda calculator
An implementation of lambda calculus using interaction nets, providing a CLI and API.
Lambda calculus framework
A formalization of typed and untyped lambda calculus in Coq and Agda2, aiming to provide a rigorous foundation for understanding the properties of these systems.
λ-calculus compiler
An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Lambda interpreter
An interpreter for a minimal programming language inspired by the lambda calculus
sweirich/dth303
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Flappy game
A Haskell implementation of a Flappy Bird clone using SpriteKit graphics and animations
Programming language
A programming language and proof assistant built on top of Rust.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
