Alternatives and similar repositories for busy-beaver:

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

• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• yedhukrishnan / turing-machine
  My implementations of deterministic and non-deterministic turing machines
  ☆70Updated last year
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 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
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆110Updated 10 months ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 11 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 7 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• hmgle / yascm
  Yet Another Scheme Interpreter using flex and bison
  ☆50Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 12 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• rveen / ogdl-c
  OGDL for C
  ☆17Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆12Updated 10 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆63Updated 7 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆52Updated 6 years ago
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 5 years ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 12 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago