speedcubing
A powerful & flexible Rubik's Cube solver
Domain-specific programming language made for solving twisting cube puzzles
A TUI speed cube timer
