pkrumins / busy-beaverLinks
Implementation of a Turing Machine that runs the Busy Beaver programs.
☆23Updated 16 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:
- It's a poorly named metamath verifier☆110Updated 5 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Programming Language Explorations☆101Updated this week
- Assembly Programming Learning Platform☆29Updated 13 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- Collection of binary heap sort implementation for many languages, primary to compare performance between languages☆41Updated 2 years ago
- Game AI Game Engine☆100Updated 6 years ago
- ☆43Updated 9 years ago
- Cellular automata search program☆26Updated 3 years ago
- Codes from (Codeforces, ICPC Live Archive, Project Euler, SPOJ BR, Topcoder, UVa ) problems.☆17Updated 6 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- Python code and wav files for the post "The Fast Fourier Transform Algorithm, and Denoising a Sound Clip"☆95Updated 5 years ago
- Peter Norvig's Paradigms of AI Programming implemented in Python☆373Updated 4 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A small C compiler written in Python for learning purposes☆41Updated 7 years ago
- Research code for solvers and models of the game of 2048☆53Updated 4 months ago
- GL Wavefunction Visualizer☆48Updated last year
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Updated 12 years ago
- Polyglot solutions for www.projecteuler.net mathematical challenges☆170Updated 2 years ago
- Experiments with compilers written in Python☆22Updated 13 years ago
- compression = AI☆55Updated 3 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 7 years ago
- The transcript of a Donald Knuth interview in 2006☆227Updated 9 years ago
- Calculates the uncomputable Busy Beaver Σ-function☆11Updated 9 years ago
- a C read-eval-print loop (abandoned)☆209Updated 5 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- A probabilistic programming language, based on Church☆17Updated 8 years ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago