merpig / RubiksProgram
Program that simulates a rubiks cube
☆17Updated 2 years ago
Alternatives and similar repositories for RubiksProgram:
Users that are interested in RubiksProgram are comparing it to the libraries listed below
- Source files for https://web.evanchen.cc☆44Updated this week
- Fast prime factorization in Python☆25Updated 3 years ago
- Solve the Fifteen Puzzle optimally with IDA* using different heuristics.☆44Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆37Updated last month
- Collaboration / Topic requests for SoME☆210Updated last year
- Olympiad problem database☆48Updated 3 weeks ago
- interactive math, intuitively☆37Updated last month
- ☆62Updated last year
- Visualize 3d/4d hyperbolic honeycombs and Boyd-Maxwell sphere packings.☆256Updated 4 months ago
- Convergence verification of the Collatz problem☆65Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆80Updated this week
- Java implementations of sequences in the OEIS☆61Updated this week
- A LaTeX Typesetting Game☆246Updated 3 weeks ago
- Source code to my videos.☆77Updated last year
- Implementing and breaking the MT19937 Mersenne Twister pseudorandom number generator☆26Updated 5 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆426Updated this week
- An animated visualization of elliptic curve cryptography☆140Updated 7 months ago
- Use GPT-3 to generate competitive programming ideas.☆10Updated last year
- Draw your own fourier epicycle. The site also gives a brief explanation of the mathematics connecting fourier series and revolving epicyc…☆75Updated 2 years ago
- ☆38Updated 2 years ago
- The Sage implementation of a simulator for Regev's factoring algorithm, and of Ekerå–Gärtner's extensions to discrete logarithm finding, …☆17Updated 6 months ago
- Explained from First Principles is a technology, science, and philosophy blog for curious people who want to understand and change the wo…☆120Updated 10 months ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆93Updated 5 years ago
- Python implementation of the monster group☆42Updated last week
- Optimal Solver for the Rubik's Cube☆12Updated 3 years ago
- A Powerpoint CPU☆92Updated 4 years ago
- ☆18Updated 2 weeks ago
- This is my final project for my Artificial Intelligence class. I generated pattern databases of subsets of the Rubik's cube via a breadt…☆11Updated 6 years ago
- MIT semester course planning app☆30Updated this week
- Code for the animations made with Manim☆39Updated 2 years ago