lambda-ski
by thma
Implementing a small functional language with a combinator based graph-reduction machine
AI summary
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
- stars
- 28
- forks
- 1
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
λ-calculus compiler
An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Haskell explanation
Explaining why Haskell's unique features make it an important language for software development
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
GPU compiler
A compiler for a functional domain-specific language designed for programming graphics processing units.
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
Pattern mapping
Maps software design patterns to Haskell type class concepts and functional programming structures
nike-inc/hal241
Lambda runner
An AWS Lambda runtime environment for Haskell applications
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.
Lambda compiler
A Python library that generates and compiles minimal lambda functions for simple expressions.
Haskell compiler
A Haskell compiler with a runtime environment implementing Combinatory Logic
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Lambda runtime
A Haskell runtime specifically designed to run on AWS Lambda
Featured in 1 awesome list
Each link jumps to the spot where the list mentions lambda-ski.
