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:
- Source code for a video on computing Fibonacci numbers efficiently☆117Updated 6 months ago
- Search for the K12 neighborly polyhedron.☆111Updated 5 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- ☆64Updated last month
- ☆36Updated 3 years ago
- GUI for glider logic in Conway's game of life.☆102Updated 5 years ago
- Using meet-in-the-middle to solve the Rubik's cube☆79Updated last year
- A solution to the problem of finding five English words with 25 distinct characters, using dynamic programming.☆64Updated 2 years ago
- Scalable computer implemented in the game of life.☆119Updated 3 years ago
- Results of the Tiny Chess Bot Challenge