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

generative-ai-for-beginners

18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

gql-grammar

Graph Query Language (ISO/IEC 39075) Antlr4 Implementation

grammar

ANTLR Grammar and related content for GQL.

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 🔎

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

raft-tlaplus

TLA+ specifications for Raft and variants

rocksdb

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

sqlancer

Detecting Logic Bugs in DBMS

third-party

tinykv

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

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.