Alternatives and similar repositories for fhourstones88

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

• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 3 months ago
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 8 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• qu1j0t3 / fhourstones
  The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)
  ☆49Updated 10 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆21Updated last year
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 9 years ago
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆11Updated 9 years ago
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 7 years ago
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 2 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 4 years ago
• davidjbacon / SETL
  GNU SETL
  ☆30Updated 3 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆13Updated 2 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆66Updated this week
• DennisMitchell / sesos
  ☆14Updated 8 years ago
• howerj / subleq
  16-bit SUBLEQ CPU running eForth - just for fun
  ☆64Updated 2 months ago
• Noxime / nihongo
  A working and hopefully fast SUBLEQ emulator to run DawnOS
  ☆12Updated 5 years ago
• m-ender / brian-chuck
  An esoteric programming language with two mutually modifying Brainfuck-like programs.
  ☆12Updated 9 years ago
• dzaima / SOGL
  ☆12Updated 7 years ago
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆15Updated this week
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• TehFlaminTaco / Reverse-Programmer-Notation
  An Esoteric Programming Language based on Reverse Polish Notation
  ☆12Updated 8 years ago
• NonerKao / BICIB
  BICIB: Brainfuck Interpreter/Compiler In Brainfuck
  ☆15Updated 9 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆116Updated last week