kikimo

kuzu-ldbc

Kuzu LDBC SNB Test Suite

apa-raft

apalache

APALACHE: symbolic model checker for TLA+

apalache-tests

Benchmarks for apalache

awesome-database-learning

A list of learning materials to understand databases internals

awsome-libevent

awsome-velox

bustub

The BusTub Relational Database Management System (Educational)

etcd-raft

Raft library for maintaining a replicated state machine

gql-grammar

Graph Query Language (ISO/IEC 39075) Antlr4 Implementation

kikimo.github.io

kuzu

An in-process property graph database management system built for query speed and scalability.

ldbc_snb_datagen_spark

Synthetic graph generator for the LDBC Social Network Benchmark, running on Spark

ldbc_snb_interactive_impls

Reference implementations for LDBC Social Network Benchmark's Interactive workload.

nebula

A distributed, fast open-source graph database featuring horizontal scalability and high availability

openraft

rust raft with improvements

PathFinder

porcupine

A fast linearizability checker written in Go 🔎

raft-tlaplus

TLA+ specifications for Raft and variants

relational-graph-processing

A collection of resources on multi-way worst-case optimal join algorithms

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

rust-course

“连续六年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。<<Rust语言圣经>>拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，甚至还有JS程序员关注的 WASM 和 Deno 等专题。这可能是目前最用心的 Rust 中文学习教程/书籍

sqlancer

Detecting Logic Bugs in DBMS

third-party

tinykv

A course to build distributed key-value service based on TiKV model

tla-plus

tla-raft

tour_of_rust

A tour of rust's language features

tugraph-db

velox

A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.