polylog-cs / rubiks-cube-video
Using meet-in-the-middle to solve the Rubik's cube
☆76Updated last year
Alternatives and similar repositories for rubiks-cube-video:
Users that are interested in rubiks-cube-video are comparing it to the libraries listed below
- Java implementations of sequences in the OEIS☆59Updated this week
- Source code for a video on computing Fibonacci numbers efficiently☆101Updated 2 months ago
- ☆18Updated 6 months ago
- Minimalist Web Server for Linux written in x64 Assembly☆54Updated last year
- Simple Mandelbrot☆58Updated 8 months ago
- Convergence verification of the Collatz problem☆64Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆36Updated this week
- Search for the K12 neighborly polyhedron.☆107Updated last month
- A cube wireframe renderer in a 45x45 python script☆44Updated 2 years ago
- Animations made by python☆10Updated 4 years ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆46Updated 2 weeks ago
- Complicated math expression generator☆98Updated 7 months ago
- Collection of helpful utilities for Manim☆19Updated last month
- Code for the Making WAVs video☆32Updated 4 years ago
- ☆222Updated 6 months ago
- A native desktop app visualizing vector fields☆14Updated 3 months 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/_…☆40Updated 2 years ago
- ☆39Updated 2 years ago
- A solution to the problem of finding five English words with 25 distinct characters, using dynamic programming.☆64Updated 2 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆47Updated 2 months ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆166Updated 8 months ago
- Papers that use Lichess data, study Lichess, or cite Lichess☆26Updated last week
- A video about the A* algorithm viewed as an application of the potential reweighting technique☆30Updated 6 months ago
- Evaluation networks for Stockfish☆13Updated 6 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Manim scripts used in Tungsteno https://www.tungsteno.io/☆29Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆47Updated 7 months ago
- A general-purpose programmatic animation tool☆211Updated this week
- Frontend of https://bbchallenge.org☆13Updated this week
- ☆29Updated last year