xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆67Updated 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☆167Updated last year
- LODA Programs for Integer Sequences☆37Updated this week
- metamath proof enumerators and other things☆94Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated this week
- A Chess Engine in PostScript☆58Updated last month
- The Esoteric File Archive☆101Updated last year
- The single instruction language - Flip a bit, then Jump☆122Updated 7 months ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- ☆11Updated 3 years ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆101Updated 2 years ago
- Runtime and miner for the LODA language written in C++☆27Updated this week
- Busy Beaver deciders backed by Coq proof☆54Updated 5 months ago
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- A Powerpoint CPU☆95Updated 4 years ago
- Implementation of Gosper's hashlife algorithm☆39Updated 10 months ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- ☆14Updated last year
- Sending the lambda calculus into deep space☆152Updated 3 years ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆64Updated 2 months ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆290Updated this week
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- IPv4 address turf war!☆71Updated 2 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 6 months ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆95Updated 5 years ago
- The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …☆98Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago