anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,025Updated last week
Alternatives and similar repositories for porcupine
Users that are interested in porcupine are comparing it to the libraries listed below
Sorting:
- TLA+ specification for the Raft consensus algorithmβ494Updated 3 months ago
- Paxos protocol frameworkβ557Updated last year
- Black-box transactional safety checker based on cycle detectionβ662Updated 3 weeks ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,038Updated 9 years ago
- β620Updated 3 years ago
- A reference use of Hashicorp's Raft implementationβ1,033Updated 2 months ago
- Raft backend implementation using BoltDBβ678Updated this week
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ833Updated 3 years ago
- Raft implementation in Goβ1,154Updated 4 months ago
- Raft library for maintaining a replicated state machineβ841Updated 2 weeks ago
- A low-latency, cloud-native KVSβ702Updated 4 years ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β329Updated 3 weeks ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β321Updated 3 years ago
- B-tree implementation for Goβ1,108Updated 11 months ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β612Updated 11 months ago
- moss - a simple, fast, ordered, persistable, key-val storage library for golangβ1,005Updated 5 months ago
- Go library implementing binary fuse and xor filtersβ686Updated 3 months ago
- Awesome list for Paxos and friendsβ2,092Updated last year
- A cluster consistency platformβ650Updated this week
- An implementation of failpoints for Golang.β850Updated last year
- An immutable radix tree implementation in Golangβ1,042Updated this week
- The PebblesDB write-optimized key-value store (SOSP 17)β515Updated last year
- A model checker for implementing distributed systems.β1,643Updated 3 weeks ago
- β543Updated this week
- Write ahead log for Go.β662Updated 6 months ago
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ979Updated 2 weeks ago
- A list of papers about distributed consensus.β2,570Updated 9 months ago
- Adaptive Radix Trees implemented in Goβ390Updated 5 months ago
- β299Updated 11 months ago
- Roaring bitmaps in Go (golang), used by InfluxDB, Bleve, DataDogβ2,708Updated 2 weeks ago