Popular repositories

1. Cosette Cosette Public

   Cosette is an automated SQL solver.

   Lean 655 53

2. lightdb lightdb Public

   C++ 29 6

3. DeepEverest DeepEverest Public

   DeepEverest: a system for efficient DNN interpretation.

   Jupyter Notebook 13 7

4. pipegen pipegen Public

   A data pipe generator for hybrid analytics

   Java 11 1

5. visualroad visualroad Public

   Visual Road: A Video Data Management Benchmark

   Python 9 10

6. vss vss Public

   VSS: A Storage System for Video Analytics

   C++ 7 3