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:
- Using meet-in-the-middle to solve the Rubik's cube☆79Updated 2 years ago
- Scalable computer implemented in the game of life.☆123Updated 3 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Finds patterns in the Collatz Tree☆19Updated last year
- Convergence verification of the Collatz problem☆66Updated 2 months ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆47Updated 5 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Source code for a video on computing Fibonacci numbers efficiently☆126Updated 7 months ago
- Codes from videos etc.☆167Updated 6 months ago
- A bignum library for C.☆33Updated last year
- GUI for glider logic in Conway's game of life.☆101Updated 5 years ago
- A number guessing game with a p-adic twist.☆9Updated last year
- Implementation of Gosper's hashlife algorithm☆39Updated 8 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated this week
- ☆40Updated 3 years ago
- Quipu Programming Language☆20Updated 12 years ago
- ☆18Updated last year
- ☆22Updated 3 years ago
- ☆11Updated 3 years ago
- Collection of interpreters for esoteric programming languages☆14Updated 4 years ago
- A collection of scripts and notebooks aimed at analysing Uchuu data☆18Updated 4 years ago
- A video about the A* algorithm viewed as an application of the potential reweighting technique☆32Updated 11 months ago
- Machine translation with tinygrad☆19Updated last year
- y-cruncher's Digit Viewer☆49Updated last year
- 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 best de-obfuscated version of Yusuke Endoh's "Most complex ASCII fluid" obfuscated C code competition 2012 entry☆88Updated 4 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆56Updated 7 months ago
- Used to make: https://youtu.be/n7JK4Ht8k8M☆136Updated 2 years ago
- Generates video game music using neural networks.☆12Updated 3 years ago