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:
- Convergence verification of the Collatz problem☆70Updated last week
- Scalable computer implemented in the game of life.☆130Updated 3 years ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- ☆29Updated last year
- Source code for a video on computing Fibonacci numbers efficiently☆139Updated 11 months ago
- Results of the Tiny Chess Bot Challenge☆130Updated last year
- Using meet-in-the-middle to solve the Rubik's cube☆80Updated 2 years ago
- Codes from videos etc.☆172Updated 10 months ago
- Computing Fibonacci numbers efficiently, for real this time.☆95Updated 6 months ago
- Assembler and example programs for the CHUNGUS 2 Minecraft CPU.☆329Updated 3 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- ☆68Updated 6 months ago
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆18Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- OODA loop demo☆84Updated 2 years ago
- The single instruction language - Flip a bit, then Jump☆130Updated 9 months 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
- ☆16Updated 3 years ago
- ☆163Updated 2 years ago
- This code calculates all the variations of 3D polycubes for any size (time permitting!)☆168Updated 2 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- From-scratch C compiler for my custom 16-bit CPU☆72Updated 2 years ago
- ☆16Updated 4 years ago
- A collection of projects, graphical or otherwise.☆174Updated 2 years ago
- A computer in Conway's game of life☆172Updated 10 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Generates video game music using neural networks.☆12Updated 3 years ago
- Generate prime numbers from pictures!☆339Updated 3 years ago
- Finds patterns in the Collatz Tree☆19Updated 2 years ago