Popular repositories Loading

1. Cosette Cosette Public

   Cosette is an automated SQL solver.

   Lean 678 56

2. lightdb lightdb Public

   C++ 32 6

3. DeepEverest DeepEverest Public

   DeepEverest: a system for efficient DNN interpretation.

   Jupyter Notebook 12 5

4. pipegen pipegen Public

   A data pipe generator for hybrid analytics

   Java 11 1

5. vss vss Public

   VSS: A Storage System for Video Analytics

   C++ 10 3

6. visualroad visualroad Public

   Visual Road: A Video Data Management Benchmark

   Python 9 10