Pinned Repositories
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
kuzu-ldbc
Kuzu LDBC SNB Test Suite
kikimo's Repositories
kikimo/kuzu-ldbc
Kuzu LDBC SNB Test Suite
kikimo/apa-raft
kikimo/apalache
APALACHE: symbolic model checker for TLA+
kikimo/apalache-tests
Benchmarks for apalache
kikimo/awesome-database-learning
A list of learning materials to understand databases internals
kikimo/awsome-libevent
kikimo/awsome-velox
kikimo/bustub
The BusTub Relational Database Management System (Educational)
kikimo/etcd-raft
Raft library for maintaining a replicated state machine
kikimo/generative-ai-for-beginners
18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
kikimo/gql-grammar
Graph Query Language (ISO/IEC 39075) Antlr4 Implementation
kikimo/grammar
ANTLR Grammar and related content for GQL.
kikimo/kikimo.github.io
kikimo/kuzu
An in-process property graph database management system built for query speed and scalability.
kikimo/ldbc_snb_datagen_spark
Synthetic graph generator for the LDBC Social Network Benchmark, running on Spark
kikimo/ldbc_snb_interactive_impls
Reference implementations for LDBC Social Network Benchmark's Interactive workload.
kikimo/nebula
A distributed, fast open-source graph database featuring horizontal scalability and high availability
kikimo/ngrok
Unified ingress for developers
kikimo/openraft
rust raft with improvements
kikimo/PathFinder
kikimo/porcupine
A fast linearizability checker written in Go 🔎
kikimo/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
kikimo/rafttoy
A playground to experiment with Raft proposal pipeline optimization
kikimo/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
kikimo/sqlancer
Detecting Logic Bugs in DBMS
kikimo/third-party
kikimo/tla-raft
kikimo/tour_of_rust
A tour of rust's language features
kikimo/tugraph-db
kikimo/velox
A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.