Alternatives and similar repositories for collatz:

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆99Updated last year
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆77Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated last week
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 3 months ago
• graue / esofiles
  The Esoteric File Archive
  ☆97Updated 7 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆16Updated 4 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆69Updated this week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆157Updated last year
• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆70Updated last week
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago
• AZHenley / hofstadter
  An esoteric programming language that supports concurrency, regex, and web requests.
  ☆30Updated last year
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆41Updated 5 months ago
• carykh / AbacabaCOVID19
  A dumping ground of all my COVID-19 visualizations posted here: https://www.youtube.com/user/1abacaba1/videos
  ☆54Updated 3 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆22Updated 2 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆281Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated 11 months ago
• nanochess / cubicDoom
  A ray-casting game in 512 bytes of x86 machine code
  ☆158Updated 4 years ago
• erich-friedman / erich-friedman.github.io
  ☆47Updated 3 weeks ago
• TryItOnline / tiosetup
  Provides setup scripts and instructions for Try It Online
  ☆105Updated 2 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆37Updated 2 months ago
• explanaria / explanaria.github.io
  interactive math, intuitively
  ☆37Updated 2 weeks ago