lockstep

lockstep

danil-bragin

A C++23 deterministic distributed database — MVCC LSM storage, dual-Raft consensus (cross-checked), distributed transactions, a 30+ feature SQL surface with distributed co-located-shuffle joins, mTLS/RBAC. Verified by fault-injection, differential testing, TLA+ model-checking.

2 Stars
0 Forks
0 Watchers
C++ Language
apache-2.0 License
37.1 SrcLog Score
Cost to Build
$234.0K
Market Value
$136.3K

Growth over time

4 data points  ·  2026-07-22 → 2026-09-23
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about lockstep

Question copied to clipboard

What is the danil-bragin/lockstep GitHub project? Description: "A C++23 deterministic distributed database — MVCC LSM storage, dual-Raft consensus (cross-checked), distributed transactions, a 30+ feature SQL surface with distributed co-located-shuffle joins, mTLS/RBAC. Verified by fault-injection, differential testing, TLA+ model-checking.". Written in C++. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone lockstep

Clone via HTTPS

git clone https://github.com/danil-bragin/lockstep.git

Clone via SSH

[email protected]:danil-bragin/lockstep.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the lockstep issue tracker:

Open GitHub Issues