anishathalye / porcupine
A fast linearizability checker written in Go π
β993Updated this week
Alternatives and similar repositories for porcupine:
Users that are interested in porcupine are comparing it to the libraries listed below
- Paxos protocol frameworkβ556Updated last year
- TLA+ specification for the Raft consensus algorithmβ482Updated this week
- β617Updated 3 years ago
- Black-box transactional safety checker based on cycle detectionβ651Updated 4 months ago
- Go library implementing binary fuse and xor filtersβ683Updated last week
- Raft library for maintaining a replicated state machineβ737Updated this week
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ828Updated 2 years ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β610Updated 8 months ago
- β294Updated 8 months ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,022Updated 8 years ago
- A reference use of Hashicorp's Raft implementationβ1,002Updated last month
- Verifies the linearizability of experimentally accessible histories.β399Updated 2 months ago
- Vector clock logging library for Goβ183Updated last year
- moss - a simple, fast, ordered, persistable, key-val storage library for golangβ998Updated 2 months ago
- Raft backend implementation using BoltDBβ671Updated this week
- The PebblesDB write-optimized key-value store (SOSP 17)β509Updated 10 months ago
- Raft implementation in Goβ1,116Updated 3 weeks ago
- β522Updated this week
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β280Updated last week
- Awesome list for Paxos and friendsβ2,075Updated 8 months ago
- Write ahead log for Go.β636Updated 3 months ago
- A low-latency, cloud-native KVSβ700Updated 3 years ago
- Adaptive Radix Trees implemented in Goβ383Updated 2 months ago
- A persistent storage engine for Multi-Raft logβ578Updated last week
- **No Longer Maintained** Official RAMCloud repoβ493Updated 5 years ago
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β515Updated 5 years ago
- An immutable radix tree implementation in Golangβ1,026Updated this week
- An implementation of failpoints for Golang.β840Updated 8 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β314Updated 3 years ago
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ959Updated last month