anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,101Updated last month
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β500Updated 8 months ago
- Paxos protocol frameworkβ556Updated last year
- β629Updated 4 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ844Updated 3 years ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,053Updated 9 years ago
- A reference use of Hashicorp's Raft implementationβ1,064Updated 2 months ago
- Black-box transactional safety checker based on cycle detectionβ677Updated 3 weeks ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β624Updated 3 months ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β361Updated 6 months ago
- Consistent hashing with bounded loads in Golangβ753Updated 2 years ago
- Raft implementation in Goβ1,232Updated 9 months ago
- Go library implementing binary fuse and xor filtersβ701Updated 2 months ago
- Awesome list for Paxos and friendsβ2,118Updated last year
- A low-latency, cloud-native KVSβ706Updated 4 years ago
- Raft backend implementation using BoltDBβ694Updated this week
- Raft library for maintaining a replicated state machineβ944Updated this week
- β582Updated last week
- A list of papers about distributed consensus.β2,590Updated last year
- Paxos Made Moderately Complexβ191Updated last year
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β328Updated 3 years ago
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β517Updated 6 years ago
- An immutable radix tree implementation in Golangβ1,070Updated last week
- β301Updated last year
- A collection of TLAβΊ specifications of varying complexities.β1,418Updated 2 months ago
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ1,015Updated 2 months ago
- Write ahead log for Go.β687Updated 2 months ago
- The PebblesDB write-optimized key-value store (SOSP 17)β519Updated last year
- A playground to experiment with Raft proposal pipeline optimizationβ16Updated 3 years ago
- A library that provides an embeddable, persistent key-value store for fast storage optimized for AWSβ817Updated last month
- High Performance Embedded Key-Value Storeβ724Updated 2 months ago