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