anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,045Updated last month
Alternatives and similar repositories for porcupine
Users that are interested in porcupine are comparing it to the libraries listed below
Sorting:
- Paxos protocol frameworkβ555Updated last year
- TLA+ specification for the Raft consensus algorithmβ494Updated 5 months ago
- β622Updated 3 years ago
- Black-box transactional safety checker based on cycle detectionβ668Updated 2 months ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,044Updated 9 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ838Updated 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β¦β330Updated 2 months ago
- A reference use of Hashicorp's Raft implementationβ1,045Updated 4 months ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β617Updated 2 weeks ago
- A low-latency, cloud-native KVSβ705Updated 4 years ago
- Raft implementation in Goβ1,189Updated 6 months ago
- Go library implementing binary fuse and xor filtersβ689Updated 5 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β323Updated 3 years ago
- Vector clock logging library for Goβ185Updated last year
- Awesome list for Paxos and friendsβ2,100Updated last year
- β559Updated last month
- The PebblesDB write-optimized key-value store (SOSP 17)β515Updated last year
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β516Updated 5 years ago
- Raft backend implementation using BoltDBβ686Updated 3 weeks ago
- Raft library for maintaining a replicated state machineβ884Updated this week
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ986Updated 2 months ago
- Consistent hashing with bounded loads in Golangβ741Updated last year
- Molecule is a Go library for parsing protobufs in an efficient and zero-allocation manner.β413Updated last year
- Awesome list of distributed transactionsβ730Updated 3 years ago
- β299Updated last year
- Scalable, fault-tolerant application-layer sharding for Go applicationsβ854Updated last year
- A collection of TLAβΊ specifications of varying complexities.β1,386Updated this week
- Paxos Made Moderately Complexβ186Updated last year
- A pure Go implementation of Gil Tene's HDR Histogram.β452Updated 3 years ago
- An immutable radix tree implementation in Golangβ1,057Updated last month