xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆66Updated 2 months ago
Alternatives and similar repositories for collatz
Users that are interested in collatz are comparing it to the libraries listed below
Sorting:
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- metamath proof enumerators and other things☆94Updated 11 months ago
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- ☆13Updated last year
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆165Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- LODA Programs for Integer Sequences☆35Updated this week
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆86Updated this week
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Implementation of Gosper's hashlife algorithm☆39Updated 8 months ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- GUI for glider logic in Conway's game of life.☆101Updated 5 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Hutter Prize Submission 2021a: STARLIT + cmix☆100Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- The single instruction language - Flip a bit, then Jump☆120Updated 6 months ago
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 9 months ago
- Runtime and miner for the LODA language written in C++☆26Updated this week
- A Chess Engine in PostScript☆58Updated 3 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- A Powerpoint CPU☆92Updated 4 years ago
- Sending the lambda calculus into deep space☆150Updated 3 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- Here we give programs that check if Turing machines halt or not.☆14Updated 4 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
- Quipu Programming Language☆20Updated 12 years ago