polylog-cs / universal-searchLinks
April fools' day videos explaining Levin's universal search
☆37Updated 2 years ago
Alternatives and similar repositories for universal-search
Users that are interested in universal-search are comparing it to the libraries listed below
Sorting:
- Convergence verification of the Collatz problem☆73Updated last month
- GUI for glider logic in Conway's game of life.☆101Updated 5 years ago
- Scalable computer implemented in the game of life.☆137Updated 3 years ago
- A computer in Conway's game of life☆173Updated last year
- ☆164Updated 3 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆149Updated last year
- ☆30Updated last year
- Codes from videos etc.☆174Updated last year
- Assembler and example programs for the CHUNGUS 2 Minecraft CPU.☆332Updated 4 years ago
- Results of the Tiny Chess Bot Challenge☆131Updated 2 years ago
- ☆15Updated 3 years ago
- ☆70Updated 8 months ago
- Procedural Terrain Generation using the sine function☆60Updated 2 years ago
- A simple stack based code golf language☆26Updated 3 years ago
- From-scratch C compiler for my custom 16-bit CPU☆72Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 3 months ago
- Using meet-in-the-middle to solve the Rubik's cube☆81Updated 2 years ago
- A self-solving minesweeper project in python☆90Updated 2 years ago
- OODA loop demo☆84Updated 3 years ago
- Computing Fibonacci numbers efficiently, for real this time.☆103Updated 9 months ago
- Search for the K12 neighborly polyhedron.☆114Updated last year
- A Powerpoint CPU☆95Updated 5 years ago
- An AI for playing NES Tetris at a high level. Based primarily on search & heuristic, with high quality board evaluation through value ite…☆456Updated 10 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Finds patterns in the Collatz Tree☆19Updated 2 years ago
- It's the terrible python code (provably worse than normal) from the Stand-up Maths video about five five-letter words: https://youtu.be/_…☆41Updated 3 years ago
- Code for my YouTube videos on Tic-Tac-Toe☆69Updated 2 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Hutter Prize Submission 2021a: STARLIT + cmix☆102Updated 2 years ago
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆18Updated last year