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
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆127Updated 12 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆54Updated 11 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆173Updated 6 years ago
• dhconnelly / paip-python
  Peter Norvig's Paradigms of AI Programming implemented in Python
  ☆370Updated 4 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆101Updated this week
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆34Updated last year
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆158Updated 4 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• rtoal / ple
  Programming Language Explorations
  ☆98Updated this week
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• cslarsen / python-simple-vm
  A simple virtual machine w/constant folding implemented in Python
  ☆119Updated 5 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• j2kun / neural-networks
  Python code and data sets used in the post on neural networks.
  ☆83Updated 5 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆172Updated last week