Alternatives and similar repositories for busy-beaver:

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

• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 2 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• waves281 / anic
  ANI language - Faster than C, Safer than Java, Simpler than *sh (now dead)
  ☆12Updated 9 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• delcypher / fosdem-2012-implementing-domain-specific-languages-with-llvm
  A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012
  ☆16Updated 11 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆20Updated 3 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆8Updated 8 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 6 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 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
• hmgle / yascm
  Yet Another Scheme Interpreter using flex and bison
  ☆49Updated 2 years ago
• mwilliams / lcthw-book
  Text version of Zed Shaw's Learn C the Hard Way
  ☆25Updated 12 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆20Updated 7 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 13 years ago
• kentdlee / MLComp
  A Compiler and Type Inference System for a subset of Standard ML called Small.
  ☆13Updated 7 years ago
• Nils-TUD / GIMMIX
  Simulator for MMIX, a 64-bit big-endian RISC architecture, developed by Donald Knuth.
  ☆8Updated 3 months ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• amontalenti / compiler
  Experiments with compilers written in Python
  ☆22Updated 13 years ago
• racket / racket-lang-org
  ☆67Updated 2 weeks ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• hayato-hashimoto / jit-scheme
  JIT compiler of scheme
  ☆15Updated 13 years ago