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 6 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆10Updated 2 months ago
• MrHootJones / futspace
  Futspace is a voxel based graphics engine implemented in Futhark
  ☆8Updated 4 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• rcornwell / ctss
  CTSS source and binaries
  ☆35Updated 3 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…
  ☆16Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• mnurzia / re
  Single-header, non-backtracking regular expression engine written in C89
  ☆12Updated last year
• matematikaadit / jombloforth
  Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.
  ☆21Updated 6 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 14 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• maandree / libparser
  Context-free grammar parsing library
  ☆10Updated 7 months ago
• kej715 / ack
  The Amsterdam Compiler Kit
  ☆27Updated last month
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 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 2 years ago
• gousiosg / AegeanC
  The Aegean C compiler
  ☆9Updated 8 years ago
• droyo / APL
  UTF8 APL interpreter
  ☆25Updated 8 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• ablevm / libable
  An efficient, portable and secure general-purpose virtual machine and virtual network as a library
  ☆17Updated 2 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 9 years ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆21Updated 3 weeks ago