xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆66Updated last month
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++☆25Updated this week
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 8 months ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- The Esoteric File Archive☆100Updated last year
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- y-cruncher's Digit Viewer☆49Updated last year
- Java implementations of sequences in the OEIS☆63Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆84Updated this week
- A code-golf language written in Mathematica☆20Updated 5 years ago
- Implementation of Gosper's hashlife algorithm☆39Updated 8 months ago
- GUI for glider logic in Conway's game of life.☆102Updated 5 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
- ☆53Updated 2 weeks ago
- A simple stack based code golf language☆24Updated 2 years ago
- ☆11Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Hutter Prize Submission 2021a: STARLIT + cmix☆100Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated last week
- A Chess Engine in PostScript☆58Updated 2 months ago
- A Powerpoint CPU☆92Updated 4 years ago
- LODA Programs for Integer Sequences☆35Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆163Updated last year
- A collection of web components to display cistercian numerals☆29Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A computer in Conway's game of life☆170Updated 6 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago