polylog-cs / universal-search
April fools' day videos explaining Levin's universal search
☆32Updated last year
Related projects: ⓘ
- ☆25Updated 3 months ago
- A solution to the problem of finding five English words with 25 distinct characters, using dynamic programming.☆63Updated last year
- ☆49Updated 11 months ago
- Scalable computer implemented in the game of life.☆95Updated 2 years ago
- It's the terrible python code (provably worse than normal) from the Stand-up Maths video about five five-letter words: https://youtu.be/_…☆36Updated last year
- Using meet-in-the-middle to solve the Rubik's cube☆74Updated last year
- Torturing neural networks by forcing them to learn the Mandelbrot set.☆122Updated last year
- 👳 A Brainfuck game. Try it, it's free2play!☆25Updated 7 years ago
- ☆37Updated 2 years ago
- Convergence verification of the Collatz problem☆60Updated 6 months ago
- Making donut.c in every language.☆103Updated 2 months ago
- A simplistic linear and multiprocessed approach to sentiment analysis using Gzip Normalized Compression Distances with k nearest neighbor…☆142Updated last year
- ☆28Updated 9 months ago
- A general-purpose programmatic animation tool☆202Updated 2 weeks ago
- Used to make: https://youtu.be/n7JK4Ht8k8M☆135Updated last year
- A cube wireframe renderer in a 45x45 python script☆40Updated 2 years ago
- ☆50Updated 3 weeks ago
- Notes from Machine Learning in C session☆91Updated last year
- ☆35Updated 5 months ago
- ☆11Updated last week
- Codes from videos etc.☆159Updated 2 years ago
- An online math contest platform☆17Updated this week
- Life in Life in Life☆21Updated 2 years ago
- A LISP-y language that compiles to Desmos expressions.☆57Updated last month
- Ray tracer using no GPU acceleration to see how far we can push the limits☆10Updated last month
- Flight computer firmware for Whistler Blackcomb rocket.☆18Updated last year
- Source code for a video on computing Fibonacci numbers efficiently☆64Updated last month
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆17Updated this week
- My custom PCB business card☆48Updated 2 years ago
- C++ Lightweight Neural Network Static Library☆151Updated last year