pkrumins / busy-beaver
Implementation of a Turing Machine that runs the Busy Beaver programs.
☆20Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for busy-beaver
- Different Implementations of Norvig's spellchecker☆38Updated 9 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- Cellular automata search program☆26Updated 2 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆22Updated 11 years ago
- a little JIT VM language for (probably/eventually) terminal UI apps.☆62Updated 6 years ago
- My implementations of deterministic and non-deterministic turing machines☆69Updated last year
- Yet Another Scheme Interpreter using flex and bison☆49Updated 2 years ago
- ☆41Updated 8 years ago
- C++ compile-time Prolog interpreter☆66Updated 10 years ago
- Artificial Intelligence Projects☆14Updated 7 years ago
- CCS in C++☆25Updated last year
- ☆73Updated 10 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 10 years ago
- A handy tool to help design and parse your own language☆21Updated 2 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 7 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 9 years ago
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- interesting solutions to project euler problems☆84Updated 8 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- ☆27Updated 6 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012☆16Updated 11 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A small C compiler written in Python for learning purposes☆40Updated 6 years ago
- Not because it is good, but because we can...☆168Updated 5 years ago
- Write LaTeX-formatted documents using J evaluation☆17Updated 8 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆119Updated 11 years ago