pkrumins / busy-beaverLinks
Implementation of a Turing Machine that runs the Busy Beaver programs.
☆22Updated 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
- A catalog of code worth reading☆112Updated 8 years ago
- Cellular automata search program☆26Updated 3 years ago
- ☆49Updated 12 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- ☆37Updated 7 years ago
- Python code and wav files for the post "The Fast Fourier Transform Algorithm, and Denoising a Sound Clip"☆95Updated 5 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆123Updated 12 years ago
- SymPy Documentation repository☆37Updated this week
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- It's a poorly named metamath verifier☆110Updated 5 years ago
- ☆42Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- A small C compiler written in Python for learning purposes☆41Updated 7 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Carpet fractal genetic algorithm☆12Updated 7 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 5 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated 2 weeks ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- Smallish programs written to learn something.☆51Updated last year
- Resurrecting PP-BESM☆26Updated 2 years ago
- A (very) basic 8086 emulator written in python - just for fun.☆52Updated 4 months ago
- ☆30Updated 7 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- Programming Language Explorations☆97Updated last week
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated this week
- A basic x86-64 JIT compiler written from scratch in stock Python☆231Updated 7 years ago