Alternatives and similar repositories for collatz

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

• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆100Updated 2 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆83Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆54Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• ciphergoth / pylambdac
  A lambda calculus interpreter in Python
  ☆16Updated 4 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• ccz181078 / Coq-BB5
  ☆307Updated 2 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆61Updated 2 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated 2 months ago
• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆119Updated 4 months ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆97Updated 7 years ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆286Updated 2 weeks ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆60Updated 4 years ago
• bbchallenge / bbchallenge
  Frontend of https://bbchallenge.org
  ☆15Updated last week
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 7 months ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆38Updated 7 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆163Updated last year
• erich-friedman / erich-friedman.github.io
  ☆53Updated 2 weeks ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 3 weeks ago
• Ramon-Deniz / ChessData
  ☆41Updated 4 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆24Updated 2 years ago