For exploring http://www.ioccc.org/2012/tromp/hint.html
☆35Aug 2, 2017Updated 8 years ago
Alternatives and similar repositories for binary-lambda-calculus
Users that are interested in binary-lambda-calculus are comparing it to the libraries listed below
Sorting:
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- A programmable virtual CPU written in untyped lambda calculus☆61Oct 20, 2022Updated 3 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 5 months ago
- Untyped Concatenative Calculus☆19Dec 25, 2021Updated 4 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆198Feb 16, 2026Updated last week
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Collection of interpreters for esoteric programming languages☆14Jul 10, 2021Updated 4 years ago
- GROM-8 CPU☆20Dec 17, 2017Updated 8 years ago
- ☆22Oct 12, 2024Updated last year
- Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).☆43May 20, 2016Updated 9 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- ☆12Jan 25, 2018Updated 8 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- [Fossil repository mirror] A tiny interpreter☆42Aug 8, 2024Updated last year
- Original Joy☆11Dec 17, 2024Updated last year
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- Minimal world engine for old computers. Scriptable NPCs, growable crops, editable maps, in glorious CGA (or VGA).☆24May 9, 2025Updated 9 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Binary lambda calculus☆10Jan 29, 2018Updated 8 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- A clone of LogicHex using Javascript canvas.☆45Oct 21, 2018Updated 7 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 13 years ago