cicada-lang / lambda
An interpreter of lambda calculus.
☆27Updated last month
Related projects ⓘ
Alternatives and complementary repositories for lambda
- A notional machine for the SMoL languages☆21Updated last year
- Course web page for Fall 2021.☆20Updated 2 years ago
- k theorem prover☆11Updated 2 years ago
- An experimental Racket implementation using LLVM/MLIR☆59Updated last year
- miniKanren in Pharo☆10Updated 5 months ago
- A Scheme to WebAssembly compiler☆16Updated 2 years ago
- ☆40Updated 6 months ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- racket llvm C-API bindings☆17Updated 2 years ago
- The Kraken Programming Language☆46Updated 9 months ago
- ☆40Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- Wasm tooling in Racket.☆40Updated last year
- A Racket refactoring engine☆58Updated 2 weeks ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- racket scheme peg-parser☆23Updated 3 years ago
- Daily snapshots of the Racket Package Catalog.☆12Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- DrRacket plugins for better autocompletion☆66Updated 4 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated 10 months ago
- Simplified example cryptocurrency implementation in Racket☆47Updated 3 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 11 years ago
- ☆18Updated last year
- Compile JavaScript to Native Code☆28Updated 4 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week
- ☆12Updated last year
- Ones Inner Universe.☆4Updated this week
- An implementation of the Lox language in Racket.☆30Updated last year
- An implementation of interaction nets in JS.☆130Updated this week