Similar repositories to cubing/ksolve: