xbarin02 / collatz
Convergence verification of the Collatz problem
☆64Updated last month
Alternatives and similar repositories for collatz:
Users that are interested in collatz are comparing it to the libraries listed below
- Hutter Prize Submission 2021a: STARLIT + cmix☆99Updated 2 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 5 years ago
- Runtime and miner for the LODA language written in C++☆24Updated last month
- Busy Beaver deciders backed by Coq proof☆48Updated 3 weeks ago
- A ray-casting game in 512 bytes of x86 machine code☆161Updated 5 years ago
- Java implementations of sequences in the OEIS☆61Updated this week
- metamath proof enumerators and other things☆93Updated 8 months ago
- ☆18Updated 8 months ago
- The Esoteric File Archive☆99Updated 9 months ago
- A Powerpoint CPU☆92Updated 4 years ago
- IPv4 address turf war!☆71Updated last year
- LODA Programs for Integer Sequences☆33Updated this week
- Using meet-in-the-middle to solve the Rubik's cube☆77Updated last year
- Binary Lambda Calculus Virtual Machine☆52Updated last year
- A Chess Engine in PostScript☆58Updated 2 weeks ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Applied Discrete Structures using PreTeXt☆43Updated this week
- PDP-11 emulation☆89Updated 4 months ago
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 5 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated 2 weeks ago
- A repository for the Quest For Tetris☆182Updated 3 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated last month
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- ☆190Updated 2 weeks ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- interactive math, intuitively☆37Updated this week
- The A+ programming language from Morgan Stanley☆38Updated 11 years ago
- the BLAKE3 hash function implemented in 6502 assembly☆57Updated 3 years ago
- ☆48Updated last week
- ☆39Updated 3 years ago