anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,135Updated 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β558Updated 2 years ago
- TLA+ specification for the Raft consensus algorithmβ506Updated 11 months ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,062Updated 9 years ago
- β631Updated 4 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ847Updated 3 years ago
- Black-box transactional safety checker based on cycle detectionβ686Updated last month
- A reference use of Hashicorp's Raft implementationβ1,078Updated 5 months ago
- Go library implementing binary fuse and xor filtersβ752Updated last week
- Raft implementation in Goβ1,260Updated last year
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β635Updated last month
- Awesome list for Paxos and friendsβ2,132Updated last year
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β364Updated last month
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ1,025Updated last month
- Raft backend implementation using BoltDBβ701Updated 2 weeks ago
- Consistent hashing with bounded loads in Golangβ767Updated 2 years ago
- A model checker for implementing distributed systems.β1,772Updated 6 months ago
- Raft library for maintaining a replicated state machineβ981Updated this week
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β518Updated 6 years ago
- Awesome list of distributed transactionsβ733Updated 4 years ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β329Updated 4 years ago
- A low-latency, cloud-native KVSβ707Updated 4 years ago
- A collection of TLAβΊ specifications of varying complexities.β1,443Updated last week
- Vector clock logging library for Goβ186Updated 2 years ago
- Verifies the linearizability of experimentally accessible histories.β417Updated 3 weeks ago
- β605Updated 2 weeks ago
- A library that provides an embeddable, persistent key-value store for fast storage optimized for AWSβ828Updated 4 months ago
- β305Updated last year
- An immutable radix tree implementation in Golangβ1,084Updated this week
- The PebblesDB write-optimized key-value store (SOSP 17)β522Updated last year
- LBADD: An experimental, distributed SQL databaseβ388Updated 2 years ago