mikrokosmos
λ-calculus compiler
An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts
(λ) Educational lambda calculus interpreter
70 stars
6 watching
7 forks
Language: Haskell
last commit: over 5 years agohaskellinterpreterlambda-calculus
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 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 gabriella439/haskell-annah-library | Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus | 91 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 mmirman/imperativehaskell | Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax. | 73 |
 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 |
 delta456/monkey_v | An implementation of a programming language interpreter in V. | 37 |
 mthom/shentong | An implementation of a modern Lisp family programming language | 163 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 146 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 smarie/python-mini-lambda | A Python library that generates and compiles minimal lambda functions for simple expressions. | 14 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |
 igorw/lambda-php | An interpreter for a minimal programming language inspired by the lambda calculus | 23 |
 plclub/lngen | Tool for generating Coq definitions and proofs for locally nameless representations | 30 |