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
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 3 months ago
• MrHootJones / futspace
  Futspace is a voxel based graphics engine implemented in Futhark
  ☆9Updated 4 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 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
• ironmeld / boot2now
  Boot2Now is a series of compilers in the form of bootable machine images
  ☆18Updated 2 years ago
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆11Updated 9 years ago
• PlanetAPL / openAPL
  ☆21Updated 8 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ryao / crunch
  Linux fork of FreeBSD crunch
  ☆17Updated 13 years ago
• jcs / pce
  fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation
  ☆10Updated 2 years ago
• darius / idel
  A low-level virtual machine for mobile code
  ☆12Updated 7 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 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
• ibara / echo
  Learn how argc and argv are passed from environment to Unix program.
  ☆19Updated 3 years ago
• moon-chilled / Two_Kilo
  Two Kilo—fully functional texteditor in 2 kb of C
  ☆13Updated 5 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• rochus-keller / LolaCreator
  LolaCreator is a QtCreator based IDE for Lola-2
  ☆15Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 6 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• ibara / bf256
  Brainfuck compiler under 256 bytes in size.
  ☆28Updated 3 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 9 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• micron-language / specification
  The Micron Programming Language Specification
  ☆19Updated 2 weeks ago
• 173duprot / saneforth
  TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…
  ☆11Updated 2 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆47Updated 7 months ago