Explore projects
-
Simon Wang / CS346
GNU General Public License v3.0 or laterUpdated -
seaurchin / artifacts for benchmarking / Nalgebra
Apache License 2.0Updated -
seaurchin / artifacts for benchmarking / Glam
Apache License 2.0Updated -
seaurchin / artifacts for benchmarking / Itertools
Apache License 2.0Updated -
-
Updated
-
Patrick Yuan / 4D Humans test
MIT LicenseUpdated -
Updated
-
-
ist-unix / CAS-server
Apache License 2.0Jasig CAS: http://www.jasig.org/cas Cloned from https://github.com/Jasig/cas
Updated -
-
Zeinab El-Rewini / WALA
Eclipse Public License 2.0T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
Updated -
-
cs846-millennium-falcon / comment-processor-heuristic
Apache License 2.0Updated -
Updated
-
Updated
-
David Jao / Coq platform
Creative Commons Zero v1.0 UniversalBinary installers for Coq on Windows / Mac.
Updated -