open source at UCLA


maintained by ACM at UCLA, the largest computer science community at UCLA


featured project

No logo shown

2ControlVerification

Coqucla-opensource

A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".

GitHub Repository

what we've been doing recently...

this is a live feed of our 266 repositories

@dcho-jaewook pushed 1 commit to uclaacm/hack.uclaacm.com3 days ago








@dcho-jaewook pushed 1 commit to uclaacm/hack.uclaacm.com4 days ago



















@dcho-jaewook pushed 1 commit to uclaacm/hack.uclaacm.com5 days ago

@dcho-jaewook created branch jaewook/archive in uclaacm/hack.uclaacm.com5 days ago

see more activity on our org!