redpanda-data / awesome-distributed-transactions
Awesome list of distributed transactions
β727Updated 3 years ago
Alternatives and similar repositories for awesome-distributed-transactions:
Users that are interested in awesome-distributed-transactions are comparing it to the libraries listed below
- Waltz is a quorum-based distributed write-ahead log for replicating transactionsβ415Updated 2 years ago
- Black-box transactional safety checker based on cycle detectionβ656Updated 2 weeks ago
- A fast linearizability checker written in Go πβ1,017Updated 2 months ago
- Collection of Papers On Database Management Systemsβ221Updated 8 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!β492Updated 6 months ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolatiβ¦β2,557Updated 6 months ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ830Updated 3 years ago
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β515Updated 5 years ago
- A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerinβ¦β568Updated 5 years ago
- β128Updated 6 years ago
- Rapid is a scalable distributed membership serviceβ133Updated last year
- A model checker for implementing distributed systems.β1,621Updated this week
- Notes on Lindsey Kuper's lectures on Distributed Systemsβ472Updated last year
- Awesome list for Paxos and friendsβ2,086Updated 11 months ago
- TLA+ specification for the Raft consensus algorithmβ491Updated 2 months ago
- Curated list of resources on testing distributed systemsβ2,558Updated last month
- High Performance Embedded Key-Value Storeβ710Updated last week
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β315Updated 3 years ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,033Updated 8 years ago
- A cluster consistency platformβ649Updated this week
- Experimenting with persistence in Cβ181Updated 3 years ago
- Azure Cosmos TLA+ specificationsβ282Updated last year
- A low-latency, cloud-native KVSβ705Updated 4 years ago
- Programming Models and Languages for Distributed Computationβ240Updated 6 years ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)β345Updated 2 years ago
- Paxos protocol frameworkβ556Updated last year
- β610Updated 3 weeks ago
- Interesting readings and talks on computer scienceβ692Updated 3 months ago
- A list of papers about distributed consensus.β2,564Updated 8 months ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocolβ331Updated 6 years ago