lambdapi
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Dependently Typed Lambda Calculus in Haskell
112 stars
3 watching
21 forks
Language: Haskell
last commit: over 3 years ago dependent-typesprogramming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 codedot/lambda | An implementation of lambda calculus using interaction nets, providing a CLI and API. | 45 |
 pi8027/lambda-calculus | 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. | 78 |
 mroman42/mikrokosmos | An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts | 70 |
 gabriella439/haskell-annah-library | Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus | 91 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 23 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 86 |
 igorw/lambda-php | An interpreter for a minimal programming language inspired by the lambda calculus | 23 |
| sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 302 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 mchakravarty/lazy-lambda | A Haskell implementation of a Flappy Bird clone using SpriteKit graphics and animations | 74 |
 andrew-johnson-4/lsts | A programming language and proof assistant that integrates type systems with lambda calculus and theorem proving | 113 |
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |