xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆73Updated last week
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below
Sorting:
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆171Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆46Updated last month
- The Esoteric File Archive☆104Updated last year
- Binary Lambda Calculus Virtual Machine☆56Updated last year
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- The single instruction language - Flip a bit, then Jump☆131Updated 11 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆110Updated this week
- LODA Programs for Integer Sequences☆37Updated this week
- Runtime and miner for the LODA language written in C++☆28Updated this week
- Fractran interpreter in Fractran☆35Updated 10 years ago
- A Chess Engine in PostScript☆63Updated 4 months ago
- Program a bot using assembly-like code in this competitive game!☆58Updated 4 years ago
- Optimizing Brainfuck interpreter in the C preprocessor☆65Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆295Updated last week
- A repository for the Quest For Tetris☆183Updated 4 years ago
- ☆12Updated 3 years ago
- Resurrecting PP-BESM☆27Updated last week
- A Powerpoint CPU☆94Updated 4 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated 10 months ago
- Source code for a video on computing Fibonacci numbers efficiently☆142Updated last year
- Quipu Programming Language☆20Updated 12 years ago
- Implementation of Gosper's hashlife algorithm☆39Updated last year
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆167Updated last year
- A computer in Conway's game of life☆173Updated last year
- Compiler for Entropy, a programming language where all data is in a constant state of decay☆60Updated 7 months ago
- GUI for glider logic in Conway's game of life.☆102Updated 5 years ago
- ☆18Updated last year