Popular repositories Loading

1. ColumnarFormatsEval ColumnarFormatsEval Public

   A Deep Dive into Common Open Formats for Analytical DBMSs

   10 1

2. buff buff Public

   rust implementation for BUFF: decomposed bounded floats for fast compression and queries

   Rust 6 2

3. postgresqlsplitchunk postgresqlsplitchunk Public

   C 1

4. test test Public

5. SAMC-ZooKeeper SAMC-ZooKeeper Public

   Forked from wangsnowyin/SAMC-ZooKeeper

   ZooKeeper worked with SAMC debugging tool

   Java

6. samc samc Public

   Forked from wangsnowyin/samc

   Semantic Model Checking Tool

   Java