andersk / tiny-lambda
A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
☆10Updated 9 years ago
Alternatives and similar repositories for tiny-lambda:
Users that are interested in tiny-lambda are comparing it to the libraries listed below
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- ☆16Updated 7 years ago
- ☆17Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 6 years ago
- ☆23Updated 7 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Timing attack resistant type systems☆24Updated 9 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- XHTML combinator library☆9Updated 5 months ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 3 weeks ago
- Port of asciimoo/drawille to haskell.☆27Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- The Spire Programming Language☆59Updated 10 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Updated 6 years ago
- A human readable style for binary data.☆11Updated 5 years ago