polylog-cs / universal-searchLinks
April fools' day videos explaining Levin's universal search
☆36Updated 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:
- Scalable computer implemented in the game of life.☆129Updated 3 years ago
- Convergence verification of the Collatz problem☆69Updated 2 weeks ago
- Using meet-in-the-middle to solve the Rubik's cube☆80Updated 2 years ago
- Codes from videos etc.☆169Updated 9 months ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- Results of the Tiny Chess Bot Challenge☆129Updated last year
- ☆163Updated 2 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆136Updated 10 months ago
- A Powerpoint CPU☆95Updated 4 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- ☆69Updated 5 months ago
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆18Updated last year
- Frontend of https://bbchallenge.org☆18Updated last week
- 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 2 years ago
- The single instruction language - Flip a bit, then Jump☆125Updated 8 months ago
- IOCCC International Obfuscated C code contest entries☆143Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Collection of interpreters for esoteric programming languages☆14Updated 4 years ago
- Computing Fibonacci numbers efficiently, for real this time.☆93Updated 5 months ago
- A self-solving minesweeper project in python☆90Updated 2 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…☆446Updated 7 months ago
- An automated approach to the Collatz conjecture☆13Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated 3 weeks ago
- ☆29Updated last year
- 🧠 Brainfuck IDE and interpreter in 512 bytes. (boot sector)☆54Updated 2 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆59Updated last month
- A bignum library for C.☆33Updated last year
- ☆11Updated 3 years ago
- Java implementations of sequences in the OEIS☆66Updated this week
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆49Updated 8 months ago