xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆73Updated last month
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☆172Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated last week
- metamath proof enumerators and other things☆92Updated last month
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- Runtime and miner for the LODA language written in C++☆28Updated 2 weeks ago
- Binary Lambda Calculus Virtual Machine☆56Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- A Powerpoint CPU☆95Updated 4 years ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated last week
- Program a bot using assembly-like code in this competitive game!☆58Updated 4 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆50Updated 10 months ago
- ☆12Updated 3 years ago
- A computer in Conway's game of life☆173Updated last year
- Java implementations of sequences in the OEIS☆68Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆47Updated 2 months ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆68Updated 3 weeks ago
- Applets about Calculus☆39Updated last year
- Fractran interpreter in Fractran☆35Updated 11 years ago
- The Esoteric File Archive☆106Updated last year
- Dancing Quine Chameleon☆43Updated 10 years ago
- GUI for glider logic in Conway's game of life.☆101Updated 5 years ago
- The source code for FiniteCurve.com☆50Updated 4 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆296Updated 2 weeks ago
- Provides setup scripts and instructions for Try It Online☆108Updated 3 years ago
- ☆14Updated last year
- A Chess Engine in PostScript☆63Updated 5 months ago