open source at UCLA
maintained by ACM at UCLA, the largest computer science community at UCLA
featured project
2ControlVerification
Coq • ucla-opensource
A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".
GitHub Repositorywhat we've been doing recently...
this is a live feed of our 257 repositories