lambda-ski
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Implementing a small functional language with a combinator based graph-reduction machine
28 stars
4 watching
1 forks
Language: Haskell
last commit: 11 months ago
Linked from 1 awesome list
combinatorcombinatory-logiccompilerfunctional-programminggraph-algorithmsgraph-reductionhaskelllambda-abstractionslambda-calculusst-monadstref
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 mroman42/mikrokosmos | An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts | 70 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
| thma/whyhaskellmatters | Explaining why Haskell's unique features make it an important language for software development | 467 |
 talw/crisp-compiler | A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
 lambdacube3d/lambdacube-compiler | A compiler for a functional domain-specific language designed for programming graphics processing units. | 86 |
 gabriella439/haskell-annah-library | Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus | 91 |
| thma/ltupatternfactory | Maps software design patterns to Haskell type class concepts and functional programming structures | 994 |
 nike-inc/hal | An AWS Lambda runtime environment for Haskell applications | 240 |
 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 |
 smarie/python-mini-lambda | A Python library that generates and compiles minimal lambda functions for simple expressions. | 14 |
 siraben/mini-haskell | A Haskell compiler with a runtime environment implementing Combinatory Logic | 72 |
 discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 141 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 theam/aws-lambda-haskell-runtime | A Haskell runtime specifically designed to run on AWS Lambda | 270 |