xbarin02 / collatz
Convergence verification of the Collatz problem
☆64Updated 2 months ago
Alternatives and similar repositories for collatz:
Users that are interested in collatz are comparing it to the libraries listed below
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆37Updated 3 weeks ago
- ☆11Updated 2 years ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆99Updated 2 years ago
- LODA Programs for Integer Sequences☆33Updated this week
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆60Updated 3 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆161Updated last year
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆283Updated 3 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆79Updated this week
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 6 months ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 5 years ago
- Busy Beaver deciders backed by Coq proof☆48Updated last month
- Runtime and miner for the LODA language written in C++☆24Updated 2 weeks ago
- metamath proof enumerators and other things☆92Updated 8 months ago
- A Chess Engine in PostScript☆58Updated last week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- A simple stack based code golf language☆23Updated 2 years ago
- The single instruction language - Flip a bit, then Jump☆117Updated 3 months ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated 2 months ago
- A terse declarative logic programming language☆117Updated 4 years ago
- Provides setup scripts and instructions for Try It Online☆105Updated 2 years ago
- the BLAKE3 hash function implemented in 6502 assembly☆57Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆157Updated last week
- A brainfuck-based Arduino competitor.☆24Updated 3 years ago
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- Python implementation of the monster group☆42Updated this week
- Compiler for Entropy, a programming language where all data is in a constant state of decay☆58Updated 8 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆59Updated 4 years ago