xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆69Updated last week
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆95Updated this week
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆168Updated last year
- Runtime and miner for the LODA language written in C++☆27Updated last week
- Implementation of Gosper's hashlife algorithm☆40Updated 10 months ago
- LODA Programs for Integer Sequences☆37Updated this week
- The Esoteric File Archive☆102Updated last year
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆54Updated 6 months ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Fractran interpreter in Fractran☆35Updated 10 years ago
- The single instruction language - Flip a bit, then Jump☆123Updated 8 months ago
- A simple stack based code golf language☆25Updated 3 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- Hyperoperations for JavaScript!☆12Updated last month
- A Chess Engine in PostScript☆58Updated 2 months ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- IPv4 address turf war!☆71Updated 2 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆290Updated this week
- ☆11Updated 3 years ago
- An esoteric programming language that supports concurrency, regex, and web requests.☆33Updated 2 years ago
- A computer in Conway's game of life☆172Updated 9 months ago
- A cube wireframe renderer in a 45x45 python script☆45Updated 3 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago