anishathalye / porcupine
A fast linearizability checker written in Go π
β1,018Updated 2 months ago
Alternatives and similar repositories for porcupine:
Users that are interested in porcupine are comparing it to the libraries listed below
- TLA+ specification for the Raft consensus algorithmβ492Updated 2 months ago
- Paxos protocol frameworkβ556Updated last year
- Black-box transactional safety checker based on cycle detectionβ662Updated 3 weeks ago
- β620Updated 3 years ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,037Updated 8 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ830Updated 3 years ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β611Updated 11 months ago
- A reference use of Hashicorp's Raft implementationβ1,026Updated last month
- Verifies the linearizability of experimentally accessible histories.β402Updated 2 months ago
- Raft library for maintaining a replicated state machineβ803Updated this week
- Raft backend implementation using BoltDBβ678Updated 2 months ago
- A low-latency, cloud-native KVSβ704Updated 4 years ago
- Raft implementation in Goβ1,146Updated 3 months ago
- β298Updated 11 months ago
- β537Updated this week
- A model checker for implementing distributed systems.β1,629Updated last week
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β323Updated 2 weeks ago
- moss - a simple, fast, ordered, persistable, key-val storage library for golangβ1,003Updated 4 months ago
- Go library implementing binary fuse and xor filtersβ685Updated 2 months ago
- Awesome list for Paxos and friendsβ2,089Updated 11 months ago
- A persistent storage engine for Multi-Raft logβ587Updated 2 months ago
- A collection of TLAβΊ specifications of varying complexities.β1,347Updated last month
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β316Updated 3 years ago
- failpoints for goβ403Updated this week
- An implementation of failpoints for Golang.β849Updated 11 months ago
- Consistent hashing with bounded loads in Golangβ730Updated last year
- Distributed database benchmark testerβ288Updated last year
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β515Updated 5 years ago
- A pure Go implementation of Gil Tene's HDR Histogram.β450Updated 3 years ago
- Vector clock logging library for Goβ184Updated last year