Programming with pure lambda calculus
☆141Dec 7, 2025Updated 2 months ago
Alternatives and similar repositories for bruijn
Users that are interested in bruijn are comparing it to the libraries listed below
Sorting:
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- *cheep cheep shriek caw*☆101Nov 16, 2023Updated 2 years ago
- Unusable but free and open-source window manager for Linux and *BSD (<500LOC)☆14Jul 6, 2019Updated 6 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 4 months ago
- various toys in j☆12Apr 13, 2022Updated 3 years ago
- ☆42Aug 11, 2025Updated 6 months ago
- The adventures of a Haskell compiler☆236Oct 24, 2025Updated 4 months ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated last month
- Small operating system written from scratch (covid/school project)☆81Aug 19, 2022Updated 3 years ago
- types for various combinatory systems, especialy tree calculi☆24Jan 23, 2025Updated last year
- Yet another UNIX-like argument parser for C. CC0-licensed.☆22Aug 5, 2025Updated 6 months ago
- An accessible Forth written in machine code for the RISC-V architecture.☆23Jan 19, 2026Updated last month
- Infinitely configurable integrated IDE and text editor☆128Oct 14, 2024Updated last year
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆125Jan 24, 2026Updated last month
- An menu/quick reference for Programming Language concepts☆20Apr 13, 2024Updated last year
- An introduction to the J programming language that gets to the point.☆70Dec 6, 2025Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆198Feb 16, 2026Updated 2 weeks ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Aug 19, 2025Updated 6 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Mar 25, 2020Updated 5 years ago
- Stackless Joy☆23Apr 15, 2025Updated 10 months ago
- Tiny vi text editor clone with enough features to be truly useful☆29Jan 1, 2026Updated 2 months ago
- ☆24Updated this week
- ☆12Jan 25, 2018Updated 8 years ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- [Fossil repository mirror] A tiny interpreter☆42Aug 8, 2024Updated last year
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- The Titan programming language.☆12Apr 16, 2024Updated last year
- Language based on Rewriting Logic☆161Feb 23, 2026Updated last week
- Manfred von Thun's Programming Language Joy☆103Feb 24, 2026Updated last week
- a simple Forth system for x64 Linux☆33Jan 9, 2012Updated 14 years ago