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
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆54Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆52Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated last week
• shamblesides / turfwar
  IPv4 address turf war!
  ☆70Updated last year
• liam-ilan / python-cube
  A cube wireframe renderer in a 45x45 python script
  ☆44Updated 2 years ago
• explanaria / explanaria.github.io
  interactive math, intuitively
  ☆37Updated last week
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆59Updated 3 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆34Updated this week
• darrenks / golfscript
  A simple stack based code golf language
  ☆23Updated 2 years 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
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆99Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• ccz181078 / Coq-BB5
  ☆300Updated last month
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆283Updated last week
• fcrozatier / champagne
  champagne
  ☆31Updated last year
• thoppe / NansAreNumbers
  An esoteric data type built entirely of NaNs.
  ☆75Updated 3 years ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated last month
• graue / esofiles
  The Esoteric File Archive
  ☆99Updated 11 months ago
• kspalaiologos / A-Programming-Language
  An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.
  ☆18Updated 2 years ago
• orent / htfizzbuzz
  High throughput Fizz Buzz
  ☆41Updated 3 years ago
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆60Updated 4 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last week
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 7 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago