Similar repositories to standardml/qcheck: