Alternatives and similar repositories for busy-beaver-stuff

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

• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆18Updated 5 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆38Updated 6 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated 2 weeks ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• 173duprot / saneforth
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆12Updated 2 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆28Updated 3 years ago
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 9 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 7 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 9 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆17Updated 8 years ago
• droyo / APL
  UTF8 APL interpreter
  ☆25Updated 8 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 10 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆27Updated 11 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 11 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• glouw / kvltland
  The fractal land generator
  ☆15Updated 6 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago