kikimo's repositories
apalache-tests
Benchmarks for apalache
awesome-database-learning
A list of learning materials to understand databases internals
etcd-raft
Raft library for maintaining a replicated state machine
gql-grammar
Graph Query Language (ISO/IEC 39075) Antlr4 Implementation
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.
openraft
rust raft with improvements
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 中文学习教程/书籍
tour_of_rust
A tour of rust's language features
velox
A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.