Algorithmic Information Theory, using Binary Lambda Calculus
☆213Sep 23, 2026Updated last month
Alternatives and similar repositories for AIT
Users that are interested in AIT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- Binary Lambda Calculus Virtual Machine☆61Jan 24, 2024Updated 2 years ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- Animations of lambda term reduction sequences☆171May 30, 2018Updated 8 years ago
- Busy Beaver deciders backed by Coq proof☆65Mar 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 9 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆17Oct 9, 2022Updated 4 years ago
- A Lisp interpreter written in untyped lambda calculus☆255Mar 10, 2023Updated 3 years ago
- A programmable virtual CPU written in untyped lambda calculus☆72Oct 20, 2022Updated 4 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 11 months ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 7 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17May 29, 2022Updated 4 years ago
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Programming with pure lambda calculus☆145Jul 16, 2026Updated 3 months ago
- an implementation of a microKanren(-like language) in miniKanren☆27Aug 1, 2014Updated 12 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆206Jun 12, 2021Updated 5 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- SECD Machine Implementation in x86 Assembly☆25Jun 14, 2014Updated 12 years ago
- ☆27May 23, 2022Updated 4 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆488Jan 17, 2022Updated 4 years ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Bootstrapping LISP in a Boot Sector☆1,529Jun 14, 2026Updated 4 months ago
- A Forth-oriented VM and debugger☆22Sep 21, 2025Updated last year
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆13Sep 21, 2021Updated 5 years ago
- ☆28Oct 24, 2026Updated last week
- ☆16Apr 19, 2022Updated 4 years ago
- Haskell implementation of the categorical abstract machine☆14Apr 27, 2017Updated 9 years ago
- Prototypes: Object Orientation, Functionally☆67Oct 22, 2026Updated last week
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 11 years ago
- The adventures of a Haskell compiler☆245Mar 18, 2026Updated 7 months ago
- Compiler for a tiny subset of the Scheme language.☆23Jul 13, 2016Updated 10 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆21Jul 4, 2023Updated 3 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆14Feb 26, 2024Updated 2 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆27Dec 3, 2024Updated last year