polylog-cs / universal-search
April fools' day videos explaining Levin's universal search
☆35Updated 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
- It's the terrible python code (provably worse than normal) from the Stand-up Maths video about five five-letter words: https://youtu.be/_…☆40Updated 2 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆110Updated 4 months ago
- Using meet-in-the-middle to solve the Rubik's cube☆78Updated last year
- Scalable computer implemented in the game of life.☆117Updated 2 years ago
- Simple Mandelbrot☆60Updated 10 months ago
- ☆29Updated 10 months ago
- Search for the K12 neighborly polyhedron.☆109Updated 3 months ago
- Results of the Tiny Chess Bot Challenge☆122Updated last year
- ☆36Updated 3 years ago
- Chrome/Firefox extension to replace instances of "OpenAI" with "ClosedAI" all over the web☆30Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- A cube wireframe renderer in a 45x45 python script☆44Updated 2 years ago
- A self-solving minesweeper project in python☆89Updated 2 years ago
- Convergence verification of the Collatz problem☆64Updated 2 months ago
- Geogebra and OpenSCAD files relating to Rupert polyhedra☆23Updated 5 years ago
- An online math contest platform☆19Updated 2 weeks ago
- A concise golfing language☆21Updated 2 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆52Updated 4 months ago
- Collection of interpreters for esoteric programming languages☆14Updated 3 years ago
- ☆39Updated 3 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Updated 5 years ago
- Pip: an imperative code-golf language☆34Updated last year
- ☆11Updated last year
- ☆11Updated 2 years ago
- ☆20Updated 11 months ago
- [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.☆17Updated 6 months ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆60Updated 3 months ago
- A Windows program to search for cellular automata patterns☆15Updated 12 years ago
- Exhaustive list of all foods & food items in the world. Crawled from Wikipedia.☆19Updated 8 years ago