kikimo Goto Github PK

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

flamegraph

Stack trace visualizer

generative-ai-for-beginners

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

goremote

golang implementation of remote execution base on ssh.

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.

kuzu-ldbc

Kuzu LDBC SNB Test Suite

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.

linearizability-checker

Fast linearizability checker

nebula

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

nebula-graph

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-spin

A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

raft-tla

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.