xbarin02 / collatzLinks
Convergence verification of the Collatz problem
☆66Updated 3 weeks ago
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++☆24Updated this week
- metamath proof enumerators and other things☆93Updated 10 months ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆100Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆83Updated this week
- Binary Lambda Calculus Virtual Machine☆54Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆38Updated this week
- A lambda calculus interpreter in Python☆16Updated 4 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- ☆307Updated 2 months ago
- LODA Programs for Integer Sequences☆33Updated this week
- Optimizing Brainfuck interpreter in the C preprocessor☆61Updated 2 years ago
- A Chess Engine in PostScript☆58Updated 2 months ago
- The single instruction language - Flip a bit, then Jump☆119Updated 4 months ago
- arthur whitney's b interpreter translated into a more traditional flavor of C☆97Updated 7 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆286Updated 2 weeks ago
- Busy Beaver deciders backed by Coq proof☆53Updated 3 months ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆60Updated 4 years ago
- Frontend of https://bbchallenge.org☆15Updated last week
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 7 months ago
- Implementation of Gosper's hashlife algorithm☆38Updated 7 months ago
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆163Updated last year
- ☆53Updated 2 weeks ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Metamath program - source code for the Metamath executable☆82Updated 3 weeks ago
- ☆41Updated 4 years ago
- A simple stack based code golf language☆24Updated 2 years ago