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
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- It's a poorly named metamath verifier☆109Updated 4 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- Assembly Programming Learning Platform☆28Updated 12 years ago
- Python code and wav files for the post "The Fast Fourier Transform Algorithm, and Denoising a Sound Clip"☆95Updated 5 years ago
- ☆37Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- GL Wavefunction Visualizer☆46Updated 8 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ☆42Updated 9 years ago
- Programming Language Explorations☆94Updated last week
- The Antikernel operating system project☆121Updated 5 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 6 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆20Updated 5 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Polyglot solutions for www.projecteuler.net mathematical challenges☆172Updated 2 years ago
- Yet Another Scheme Interpreter using flex and bison☆50Updated 2 years ago
- Let's bring the Scott CPU to life. And program it.☆88Updated 4 years ago
- Slides for the talk I have very soon☆12Updated 6 years ago
- ANI language - Faster than C, Safer than Java, Simpler than *sh (now dead)☆13Updated 10 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- 27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting☆85Updated 7 years ago
- ☆30Updated 7 years ago
- A simple virtual machine w/constant folding implemented in Python☆120Updated 4 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- An implementation of scheme that can call python modules☆21Updated 12 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago