andersk / tiny-lambdaLinks
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
Sorting:
- ☆16Updated 7 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 6 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ☆23Updated 7 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Simple processor in Haskell☆11Updated 9 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- ☆17Updated 2 years ago
- ☆16Updated 10 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- The Alms Programming Language☆44Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- ☆21Updated 9 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- XHTML combinator library☆9Updated 6 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Haskell bindings for systemd☆19Updated 10 months ago
- Rope data structure used by Yi☆20Updated 6 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Term Rewriting Systems☆17Updated 9 years ago