Alternatives and similar repositories for busy-beaver:

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

• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆22Updated 12 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• maximecb / toyCPU
  Assembly Programming Learning Platform
  ☆27Updated 12 years ago
• llllllllll / phorth
  A small forth-like language that targets the CPython VM.
  ☆52Updated 6 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 11 years ago
• marinvhs / coding
  Codes from (Codeforces, ICPC Live Archive, Project Euler, SPOJ BR, Topcoder, UVa ) problems.
  ☆17Updated 5 years ago
• yedhukrishnan / turing-machine
  My implementations of deterministic and non-deterministic turing machines
  ☆70Updated last year
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• waves281 / anic
  ANI language - Faster than C, Safer than Java, Simpler than *sh (now dead)
  ☆12Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• hmgle / yascm
  Yet Another Scheme Interpreter using flex and bison
  ☆49Updated 2 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• shinh / beflisp
  Lisp implementation in Befunge
  ☆27Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆32Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• webyrd / quines
  Relational interpreter in miniKanren that can generate quines
  ☆131Updated 10 years ago
• susam / heart
  Hearts drawn with Python Matplotlib and C
  ☆43Updated 6 years ago
• sqrt57 / x86-scheme
  Implementation of Scheme programming language in assembly
  ☆25Updated 7 years ago
• racket / racket-lang-org
  ☆67Updated last week
• inspectorG4dget / Genetic-Framework
  Pure Python Evolutionary Algorithms Framework
  ☆46Updated 5 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• dlisboa / ex
  Bill Joy's original ex
  ☆14Updated 10 years ago