cicada-lang / lambda
An interpreter of lambda calculus.
☆27Updated last month
Related projects ⓘ
Alternatives and complementary repositories for lambda
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- miniKanren in Pharo☆10Updated 5 months ago
- A notional machine for the SMoL languages☆21Updated last year
- ☆40Updated 7 months ago
- Course web page for Fall 2021.☆21Updated 2 years ago
- An embeddable flow-oriented language.☆59Updated this week
- A Racket refactoring engine☆58Updated this week
- An experimental Racket implementation using LLVM/MLIR☆60Updated last year
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated 11 months ago
- An LLM-first programming language.☆26Updated last month
- An implementation of interaction nets in JS.☆131Updated this week
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- ShiTT is a toy proof assistant (almost).☆28Updated last week
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- My Own Linear Lisp☆37Updated 6 years ago
- ☆12Updated last year
- Automatic testing of MoonBit programs☆16Updated this week
- k theorem prover☆11Updated 2 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- ☆40Updated 3 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- Use Python from Racket☆28Updated 3 months ago
- A Scheme to WebAssembly compiler☆16Updated 2 years ago
- ☆27Updated last year
- Cicada Language (solo version)☆128Updated 3 weeks ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Standard ML Infrastructure for writing LSP servers☆11Updated last month
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week