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