anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,077Updated 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β495Updated 6 months ago
- Paxos protocol frameworkβ555Updated last year
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,048Updated 9 years ago
- β623Updated 4 years ago
- Black-box transactional safety checker based on cycle detectionβ670Updated 4 months ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ838Updated 3 years ago
- Raft implementation in Goβ1,208Updated 7 months ago
- Go library implementing binary fuse and xor filtersβ696Updated 2 weeks ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β620Updated last month
- A reference use of Hashicorp's Raft implementationβ1,054Updated 3 weeks ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β332Updated 4 months ago
- Raft library for maintaining a replicated state machineβ903Updated last week
- Consistent hashing with bounded loads in Golangβ745Updated last year
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β324Updated 3 years ago
- A low-latency, cloud-native KVSβ706Updated 4 years ago
- Raft backend implementation using BoltDBβ691Updated 3 weeks ago
- Awesome list for Paxos and friendsβ2,107Updated last year
- A collection of TLAβΊ specifications of varying complexities.β1,402Updated 3 weeks ago
- The PebblesDB write-optimized key-value store (SOSP 17)β517Updated last year
- Vector clock logging library for Goβ185Updated last year
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β517Updated 6 years ago
- β566Updated 2 months ago
- A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.β837Updated 2 years ago
- A list of papers about distributed consensus.β2,582Updated last year
- Write ahead log for Go.β678Updated last week
- Awesome list of distributed transactionsβ731Updated 3 years ago
- because you need another a key/value storage engineβ1,349Updated last year
- moss - a simple, fast, ordered, persistable, key-val storage library for golangβ1,010Updated 8 months ago
- World's fastest log analysis: Ξ» + SQL + JSON + S3β1,058Updated last year
- β299Updated last year