pkrumins / busy-beaverLinks
Implementation of a Turing Machine that runs the Busy Beaver programs.
☆21Updated 15 years ago
Alternatives and similar repositories for busy-beaver
Users that are interested in busy-beaver are comparing it to the libraries listed below
Sorting:
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Programming Language Explorations☆96Updated last week
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 5 years ago
- Cellular automata search program☆26Updated 3 years ago
- Smallish programs written to learn something.☆51Updated last year
- A small C compiler written in Python for learning purposes☆41Updated 7 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- knot theory and computational algebra software☆37Updated 11 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A basic x86-64 JIT compiler written from scratch in stock Python☆231Updated 7 years ago
- A (very) basic 8086 emulator written in python - just for fun.☆52Updated 3 months ago
- A catalog of code worth reading☆112Updated 8 years ago
- metamath proof enumerators and other things☆94Updated last year
- Python term rewriting☆30Updated 12 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- ☆42Updated 9 years ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- An exercise in programming language design and implementation.☆19Updated 3 years ago
- Let's bring the Scott CPU to life. And program it.☆90Updated 4 years ago
- GL Wavefunction Visualizer☆46Updated 10 months ago