mikrokosmos
by mroman42
(λ) Educational lambda calculus interpreter
AI summary
λ-calculus compiler
An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts
- stars
- 70
- forks
- 7
- watching
- 6
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
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Imperative compiler
Project aimed at demonstrating Haskell can emulate imperative programming characteristics and syntax.
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.
V compiler
An implementation of a programming language interpreter in V.
Lisp interpreter
An implementation of a modern Lisp family programming language
C compiler
A Haskell library that allows inline C and Objective-C code in Haskell programs
Lisp-inspired language
An experimental implementation of a Haskell-like language with Racket's macro system
Lambda compiler
A Python library that generates and compiles minimal lambda functions for simple expressions.
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Compiler
A Haskell implementation of a compiler for a custom programming language
Lambda interpreter
An interpreter for a minimal programming language inspired by the lambda calculus
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
