Alternatives and similar repositories for bbchallenge:

Users that are interested in bbchallenge are comparing it to the libraries listed below

• AZHenley / bignum
  A bignum library for C.
  ☆32Updated 9 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆37Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆49Updated last month
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated 2 weeks ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆64Updated 2 months ago
• mrmcsoftware / CPUsimulator
  This is an HTML/Javascript CPU simulator and assembler for the CPU I designed. Originally, I created this CPU on paper many years ago for…
  ☆30Updated last year
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆19Updated 3 years ago
• ibara / bf256
  Brainfuck compiler under 256 bytes in size.
  ☆28Updated 3 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆10Updated 8 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• antoniocgj / RISC-V-ALE
  RISC-V Assembly Learning Environment
  ☆21Updated 7 months ago
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆16Updated 6 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated 3 weeks ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆53Updated last year
• mzucker / flow_solver
  Fast automated solver for Flow Free in a single C or Python file.
  ☆49Updated 2 years ago
• oxtra / oxtra
  oxtra is a lightweight and easy to use binary translator capable of executing x86-64 programs on RISC-V.
  ☆16Updated 2 years ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆27Updated 11 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• wojtup / mosbc
  MikeOS' BASIC Compiler
  ☆24Updated 3 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆26Updated 4 months ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated this week
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆20Updated last week
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated 2 months ago