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
• xldenis / besm
  Resurrecting PP-BESM
  ☆26Updated 2 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 8 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• moon-chilled / Two_Kilo
  Two Kilo—fully functional texteditor in 2 kb of C
  ☆14Updated 5 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆29Updated 14 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆27Updated 11 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 7 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 8 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 3 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 11 months ago
• 173duprot / saneforth
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆10Updated 2 years ago
• oriansj / M2libc
  A more standards compliant C library written in M2-Planet's C subset
  ☆20Updated last week
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆46Updated 3 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆37Updated 5 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated 3 weeks ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆16Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• davidjbacon / SETL
  GNU SETL
  ☆31Updated 8 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• hlibc / arbitraire
  An arbitrary precision library written in C which supports fractional datum. Arbitraire is fully portable to all linux, mac and netbsd/fr…
  ☆17Updated 2 years ago
• naasking / libsum
  Automatically exported from code.google.com/p/libsum
  ☆12Updated 10 years ago
• ibara / echo
  Learn how argc and argv are passed from environment to Unix program.
  ☆19Updated 4 years ago