Popular repositories Loading

1. SPADE SPADE Public

   SPADE: Support for Provenance Auditing in Distributed Environments

   Java 187 79

2. OCCAM OCCAM Public

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++ 16 16

3. Trimmer Trimmer Public

   C++ 11 2

4. quickstep quickstep Public

   Forked from UWQuickstep/quickstep

   Quickstep project

   C++

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

   Forked from acm-rep/2025

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

   SCSS

6. ENCODERS ENCODERS Public

   Forked from SRI-CSL/ENCODERS

   ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures requi…

   C