Star AlbumentationsX on GitHub — it powers this leaderboard
xingshaocheng/cube
Rubik's cube resolver.