Alternatives and similar repositories for collatz

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

• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆131Updated 10 months ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆101Updated 2 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆62Updated 4 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆107Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆169Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated this week
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 4 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆66Updated this week
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆294Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 2 months ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆95Updated 4 years ago
• ericastor / rmzoo
  ☆14Updated last year
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated 11 months ago
• shamblesides / turfwar
  IPv4 address turf war!
  ☆71Updated 2 years ago
• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆66Updated last week
• graue / esofiles
  The Esoteric File Archive
  ☆104Updated last year
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆135Updated 3 years ago
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆64Updated 3 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆100Updated 8 years ago