Explore projects
-
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 -
An Administrative Temporal Role Based Access Control (ATRBAC) Safety solver, called Cree.
Updated -
Updated
-
-
Simon Wang / CS346
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated