An implementation of Colin James' "Compiling Lambda Calculus"
☆16Sep 29, 2022Updated 3 years ago
Alternatives and similar repositories for Lamb
Users that are interested in Lamb are comparing it to the libraries listed below
Sorting:
- ☆15Mar 12, 2016Updated 10 years ago
- OCaml bindings for Clang☆18Jan 26, 2026Updated last month
- Compiler and tooling for the Myte programming language.☆29Mar 6, 2023Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Quick C-- compiler (no longer maintained)☆166Jan 24, 2014Updated 12 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Java Bytecode Assembler and Disassembler which uses S-expressions☆27Dec 22, 2019Updated 6 years ago
- A damn tiny abstraction Layer to create cross compatible window/widgets with cairo surfaces for MSWindows (HWND) and Linux (X11).☆40Mar 7, 2026Updated 2 weeks ago
- A small library to output memory graph for ocaml values☆40Jun 28, 2024Updated last year
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A revival of the TREE-META compiler-compiler.☆15Mar 10, 2026Updated last week
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆91Dec 10, 2018Updated 7 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- An interactive tool for experimenting with LR(1) grammars☆20Feb 8, 2022Updated 4 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- ☆75Jan 14, 2024Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 3 months ago
- Scrap, the Roguelike - A game of exploding robots☆13Oct 29, 2017Updated 8 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- ☆17Apr 4, 2024Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- PWV Functional Language☆15Oct 30, 2023Updated 2 years ago
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 10 years ago
- Journey to the Center of the Lambda Calculus☆14Aug 31, 2023Updated 2 years ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆31May 27, 2023Updated 2 years ago
- SSA vs ANF☆47Jul 20, 2015Updated 10 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- r86 is a 8086 real mode programming language which supports segmentation☆20Jun 17, 2022Updated 3 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago