Alternatives and similar repositories for busy-beaver

Users that are interested in busy-beaver are comparing it to the libraries listed below

• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• cslarsen / python-simple-vm
  A simple virtual machine w/constant folding implemented in Python
  ☆119Updated 5 years ago
• regehr / rb_tree_demo
  code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
  ☆18Updated 6 years ago
• dhconnelly / paip-python
  Peter Norvig's Paradigms of AI Programming implemented in Python
  ☆372Updated 4 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• amontalenti / compiler
  Experiments with compilers written in Python
  ☆22Updated 13 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆31Updated 5 years ago
• cirosantilli / awesome-whole-cell-simulation
  MOVING TO: https://github.com/cirosantilli/cirosantilli.github.io/ SEE README. Because sometimes you just want to simulate single prokary…
  ☆16Updated 5 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆54Updated 11 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆102Updated this week
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• jdleesmiller / twenty48
  Research code for solvers and models of the game of 2048
  ☆53Updated 3 months ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆47Updated last year
• cslarsen / minijit
  A basic x86-64 JIT compiler written from scratch in stock Python
  ☆232Updated 7 years ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆37Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• wpears / spree
  Read without moving your eyes.
  ☆28Updated 10 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• rtoal / ple
  Programming Language Explorations
  ☆100Updated this week
• ShivamSarodia / ShivC
  A small C compiler written in Python for learning purposes
  ☆41Updated 7 years ago
• asgordon / DPLL
  Boolean satisfiability for propositional logic in Python
  ☆14Updated 3 months ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• aalhour / Assembler.hack
  16-bit machine code assembler for the Hack Assembly Language (nand2tetris)
  ☆83Updated 5 years ago
• gsurma / meta_intelligence
  AI research environment for program generation.
  ☆27Updated 2 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 4 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 8 years ago