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.☆126Updated 3 years ago
- Results of the Tiny Chess Bot Challenge☆129Updated last year
- Source code for a video on computing Fibonacci numbers efficiently☆131Updated 9 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆59Updated 3 weeks ago
- Convergence verification of the Collatz problem☆69Updated this week
- Codes from videos etc.☆169Updated 8 months ago
- ☆68Updated 4 months ago
- ☆29Updated last year
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- A cube wireframe renderer in a 45x45 python script☆45Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- I have made the world's fastest CPU and GPU codes for experimentally testing the Collatz conjecture!☆18Updated last year
- A computer in Conway's game of life☆172Updated 9 months ago
- Using meet-in-the-middle to solve the Rubik's cube☆80Updated 2 years ago
- Polyglot autogolfer for https://code.golf☆18Updated last year
- OODA loop demo☆84Updated 2 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- ☆16Updated 3 years ago
- Computing Fibonacci numbers efficiently, for real this time.☆87Updated 5 months ago
- ☆139Updated 3 years ago
- Simple Mandelbrot☆62Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A self-solving minesweeper project in python☆90Updated 2 years ago
- This code calculates all the variations of 3D polycubes for any size (time permitting!)☆168Updated 2 years ago
- Used to make: https://youtu.be/n7JK4Ht8k8M☆138Updated 2 years ago
- Source code for the chess enginee Crafty☆65Updated 5 years ago
- ☆162Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Generates video game music using neural networks.☆12Updated 3 years ago