xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆69Updated 2 weeks ago
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below
Sorting:
- Runtime and miner for the LODA language written in C++☆27Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆170Updated last year
- The single instruction language - Flip a bit, then Jump☆125Updated 9 months ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆99Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆49Updated 8 months ago
- LODA Programs for Integer Sequences☆36Updated this week
- metamath proof enumerators and other things☆94Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated last year
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- ☆11Updated 3 years ago
- A computer in Conway's game of life☆172Updated 10 months ago
- Java implementations of sequences in the OEIS☆66Updated this week
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- The Esoteric File Archive☆104Updated last year
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆292Updated 2 weeks ago
- Frontend of https://bbchallenge.org☆18Updated last week
- A Chess Engine in PostScript☆61Updated 2 months ago
- This repo contains the submissions to the high-throughput fizzbuzz code golf stack exchange thread and some code to build/run and plot th…☆33Updated last year
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Dancing Quine Chameleon☆42Updated 10 years ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- ☆18Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- interactive math, intuitively☆39Updated 4 months ago