polylog-cs / universal-search
April fools' day videos explaining Levin's universal search
☆32Updated last year
Alternatives and similar repositories for universal-search:
Users that are interested in universal-search are comparing it to the libraries listed below
- Convergence verification of the Collatz problem☆64Updated 2 weeks ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆46Updated 2 months ago
- Search for the K12 neighborly polyhedron.☆103Updated last month
- youtube video renderer☆86Updated last month
- Results of the Tiny Chess Bot Challenge☆121Updated last year
- Source code for a video on computing Fibonacci numbers efficiently☆100Updated 2 months ago
- ☆66Updated 3 years ago
- Code for training basic neural networks, especially the MNIST numbers dataset.☆241Updated last year
- ☆115Updated last year
- Code for my YouTube videos on Tic-Tac-Toe☆55Updated last year
- Analyze compressed chess pgn files to determine the rarest move☆281Updated 3 months ago
- Java implementations of sequences in the OEIS☆59Updated this week
- ☆39Updated 2 years ago
- A diverse array of heavily refactored versions of Andrey Astrelin's GrailSort.h, aiming to be as readable and intuitive as possible☆48Updated last month
- ☆28Updated this week
- ☆37Updated 3 years ago
- New home of https://github.com/MusicTheorist/ArrayVisualizer☆325Updated 6 months ago
- 👳 A Brainfuck game. Try it, it's free2play!☆25Updated 8 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Simple Mandelbrot☆57Updated 7 months ago
- A number guessing game with a p-adic twist.☆9Updated last year
- OTIS course management system☆41Updated 2 weeks ago
- A directory for sharing and logging notable Bibite content for the community