Handora's Stars
oceanbase/oceanbase
OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.
PantsuDango/Dango-Translator
团子翻译器 —— 个人兴趣制作的一款基于OCR技术的翻译器
ccfddl/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
bytedance/terarkdb
A RocksDB compatible KV storage engine with better performance
frankmcsherry/blog
Some notes on things I find interesting and important.
cmu-db/noisepage
Self-Driving Database Management System from Carnegie Mellon University
efficient/libcuckoo
A high-performance, concurrent hash table
sqlancer/sqlancer
Automated testing to find logic and performance bugs in database systems
BeautyyuYanli/full-mark-composition-generator
将专业术语和名人名言以随机报菜名的方式填入模板,生成一篇只有聪明人才能看懂的满分作文!
tikv/agatedb
A persistent key-value storage in rust.
efficient/epaxos
MonetDB/MonetDB-old
This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regression test results can be found on the MonetDB Testweb http://monetdb.cwi.nl/testweb/web/status.php .For contributions please see: https://www.monetdb.org/Developers
journey-ad/pixiv-viewer
又一个Pixiv阅览工具
zhangysh1995/awesome-database-testing
数据库测试资料 This repo is a collection of resources on testing database systems
spacejam/paxos
simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
haskell-lisp/yale-haskell
HASKELL: Yale Haskell system written in Lisp
decaf-lang/minidecaf-tutorial
The MiniDecaf tutorial documentation.
sfu-dis/ermia
ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
zowens/paxos-rs
Paxos implementation in Rust
nvanbenschoten/epaxos
A pluggable implementation of the Egalitarian Paxos Consensus Protocol
PsiACE/TiDB-A-Raft-based-HTAP-Database
Unofficial! English original and Chinese translation of the paper.
RyanMillerC/poke-line
Minor Emacs mode to show buffer position using a Pokémon!
mrc/tla-tools
TLA+ tools for Emacs
sanyaade-buildtools/goparsec
Parsec implementation for Go
nano-o/MultiPaxos
MultiPaxos and Disk Paxos in TLA+ and PlusCal
chaos-mesh/datasource
Grafana data source plugin for Chaos Mesh.
alinz/hlc
Hybrid Logical Clocks
luohaha/LegoKV
Distributed and pluginable KV store just like Lego toys :)
geneRocket/paxos
gsharma/hybrid-logical-clock
Hybrid logical clocks