Alternatives and similar repositories for bbchallenge

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

• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated last week
• primo-ppcg / BF-Crunch
  ☆11Updated 3 years ago
• ibara / bf256
  Brainfuck compiler under 256 bytes in size.
  ☆28Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated last month
• leijurv / Kitteh2
  Second revision of my Kitteh language. Now comes with a compiler to x86.
  ☆16Updated last year
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 2 weeks ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆28Updated 11 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• corewar / corewar.io
  Corewar.io monorepo
  ☆52Updated last month
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆81Updated this week
• jakiki6 / bootOS
  bootOS is a monolithic operating system in 512 bytes of x86 machine code. The docs aren't guaranteed to be up-to-date
  ☆13Updated 3 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated last week
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆66Updated this week
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated 10 months ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆19Updated 3 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 8 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated last year
• alanhogan / online-mips-assembler
  An online MIPS assembler written in PHP. Originally done for CSE 230 at Arizona State University and hosted at http://alanhogan.com/asu/a…
  ☆10Updated 3 years ago
• szdytom / infinite-autocraft
  An auto craft script for the game Infinite Craft.
  ☆11Updated last year
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• wojtup / mosbc
  MikeOS' BASIC Compiler
  ☆24Updated 3 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆34Updated 5 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago