Popular repositories

1. databend databend Public

   Forked from datafuselabs/databend

   An elastic and reliable Serverless Data Warehouse, offers Blazing Fast Query and combines Elasticity, Simplicity, Low cost of the Cloud, built to make the Data Cloud easy

   Rust

2. learn-coq learn-coq Public

   Coq

3. PolarDB-for-PostgreSQL PolarDB-for-PostgreSQL Public

   Forked from ApsaraDB/PolarDB-for-PostgreSQL

   "POLARDB_11_STABLE" is the stable branch which is based on PostgreSQL 11.9. It supports compute-storage separation architecture. The "distributed" branch, which supports distributed architecture.

   C

4. tikv tikv Public

   Forked from tikv/tikv

   Distributed transactional key-value database, originally created to complement TiDB

   Rust

5. agatedb agatedb Public

   Forked from tikv/agatedb

   A persistent key-value storage in rust.

   Rust

6. naive-query-engine naive-query-engine Public

   Forked from Veeupup/naive-query-engine

   A Toy Query Engine & SQL interface

   Rust