anishathalye / porcupine
A fast linearizability checker written in Go π
β1,000Updated last month
Alternatives and similar repositories for porcupine:
Users that are interested in porcupine are comparing it to the libraries listed below
- Paxos protocol frameworkβ558Updated last year
- β618Updated 3 years ago
- TLA+ specification for the Raft consensus algorithmβ489Updated last month
- Go library implementing binary fuse and xor filtersβ684Updated last month
- Black-box transactional safety checker based on cycle detectionβ653Updated 2 weeks ago
- A reference use of Hashicorp's Raft implementationβ1,011Updated 2 months ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,027Updated 8 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β314Updated 3 years ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β321Updated this week
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ828Updated 2 years ago
- A model checker for implementing distributed systems.β1,618Updated 5 months ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β612Updated 9 months ago
- A low-latency, cloud-native KVSβ701Updated 3 years ago
- Consistent hashing with bounded loads in Golangβ724Updated last year
- Raft library for maintaining a replicated state machineβ760Updated this week
- Verifies the linearizability of experimentally accessible histories.β401Updated 2 weeks ago
- Raft backend implementation using BoltDBβ675Updated 3 weeks ago
- A persistent storage engine for Multi-Raft logβ583Updated last month
- β529Updated this week
- **No Longer Maintained** Official RAMCloud repoβ492Updated 5 years ago
- Awesome list for Paxos and friendsβ2,084Updated 9 months ago
- Distributed database benchmark testerβ286Updated last year
- β298Updated 9 months ago
- First Practical and General-purpose Range Filterβ542Updated 3 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)β509Updated 11 months ago
- An immutable radix tree implementation in Golangβ1,033Updated last month
- Vector clock logging library for Goβ184Updated last year
- A Go implementation of the CASPaxos protocolβ297Updated 6 years ago
- A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.β826Updated last year
- LBADD: An experimental, distributed SQL databaseβ390Updated last year