danil-bragin

danil-bragin

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
2 Stars
0 Forks
0 Watchers

Repositories (1)

lockstep danil-bragin/lockstep C++

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