xbarin02 / collatz
Convergence verification of the Collatz problem
☆64Updated this week
Alternatives and similar repositories for collatz:
Users that are interested in collatz are comparing it to the libraries listed below
- A Chess Engine in PostScript☆56Updated 2 months ago
- Busy Beaver deciders backed by Coq proof☆47Updated 6 months ago
- LODA Programs for Integer Sequences☆33Updated this week
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆159Updated last year
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 4 months ago
- metamath proof enumerators and other things☆91Updated 6 months ago
- A repository for the Quest For Tetris☆180Updated 3 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated this week
- A toy superoptimizer for a limited assembly language.☆56Updated last year
- Hutter Prize Submission 2021a: STARLIT + cmix☆99Updated 2 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Runtime and miner for the LODA language written in C++☆24Updated this week
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆282Updated last week
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆77Updated 5 years ago
- High throughput Fizz Buzz☆41Updated 3 years ago
- the BLAKE3 hash function implemented in 6502 assembly☆57Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- ☆47Updated this week
- The Esoteric File Archive☆97Updated 8 months ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- A simple stack based code golf language☆22Updated 2 years ago
- algorithm for word square construction and the first proper English 10-square☆15Updated last year
- A code-golf language written in Mathematica☆20Updated 4 years ago
- Program a bot using assembly-like code in this competitive game!☆58Updated 3 years ago
- ☆185Updated last week
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Byte coded Interpreted Programming language☆69Updated 7 months ago
- A Powerpoint CPU☆92Updated 4 years ago
- ☆126Updated last year