bbchallenge / bbchallenge

Related projects ⓘ

Alternatives and complementary repositories for bbchallenge

• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆61Updated 3 months ago
• openworm / wormbrowser
  The Worm Browser -- a 3D browser of the cellular anatomy of the c. elegans
  ☆49Updated 8 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆22Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆33Updated last week
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆46Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆31Updated 4 months ago
• fcrozatier / champagne
  champagne
  ☆32Updated 10 months ago
• gurgeh / CodeSpace
  Exploring the space of all possible programs
  ☆28Updated 10 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆49Updated 7 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year
• Radvendii / MAR1D
  First person Mario.
  ☆78Updated 4 months ago
• fxn / math-with-regexps
  Math with regexps for fun
  ☆48Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆39Updated 4 months ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆60Updated 8 months ago
• mkpankov / typogenetics
  Typogenetics—short for “Typographical genetics” from Douglas R. Hofstadter's “Godel, Escher, Bach: Eternal Golden Braid”
  ☆10Updated 12 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• ccz181078 / Coq-BB5
  ☆158Updated last week
• hakash / termit
  The TERMinal edITor - embeddable CLI editor
  ☆19Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• qntm / tetris
  Attempt to find a brute-force solution to Tetris
  ☆17Updated 2 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆31Updated 6 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆30Updated 3 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆19Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆34Updated 3 weeks ago
• ericastor / rmzoo
  ☆14Updated 7 months ago