Popular repositoriesLoading

1. SPADESPADEPublic

   SPADE: Support for Provenance Auditing in Distributed Environments

   Java 175 76

2. OCCAMOCCAMPublic

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++ 16 16

3. TrimmerTrimmerPublic

   C++ 11 1

4. quickstepquickstepPublic

   Forked fromUWQuickstep/quickstep

   Quickstep project

   C++

5. acm-rep-2025acm-rep-2025Public

   Forked fromacm-rep/2025

   Repository for https://acm-rep.github.io/2025

   SCSS 1