FoundationDB / fdb-joshuaLinks
FoundationDB Correctness service
☆30Updated 2 weeks ago
Alternatives and similar repositories for fdb-joshua
Users that are interested in fdb-joshua are comparing it to the libraries listed below
Sorting:
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 3 months ago
- FoundationDB build and development resources☆18Updated last month
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+