Solving the mini Rubik (2x2) in Coq
Coq4
2 years ago
2x2x2coqformalization
Rubik's cube solver that runs in a web browser, written in rust.
Rust9
puzzlerubiks-cubewebsite
Various code metrics for Python code
Python1752mit
2 months ago
clicode-analysispython
