Alternatives and similar repositories for collatz

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

• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆102Updated 2 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆175Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆131Updated last year
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆58Updated last year
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 3 months ago
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆58Updated 4 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆63Updated 6 months ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆35Updated 11 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• jart / matmul
  ☆18Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆114Updated last week
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 13 years ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Updated 11 months ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆95Updated 5 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• shamblesides / turfwar
  IPv4 address turf war!
  ☆71Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆101Updated 5 years ago
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆18Updated last month
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• graue / esofiles
  The Esoteric File Archive
  ☆106Updated last year
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆65Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆68Updated last month