anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,031Updated 2 weeks ago
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β494Updated 4 months ago
- Paxos protocol frameworkβ557Updated last year
- β620Updated 3 years ago
- Black-box transactional safety checker based on cycle detectionβ667Updated last month
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β613Updated last year
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,041Updated 9 years ago
- A model checker for implementing distributed systems.β1,664Updated last month
- Verifies the linearizability of experimentally accessible histories.β403Updated 3 months ago
- A reference use of Hashicorp's Raft implementationβ1,037Updated 2 months ago
- Raft implementation in Goβ1,163Updated 4 months ago
- Go library implementing binary fuse and xor filtersβ686Updated 4 months ago
- β555Updated this week
- β299Updated last year
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ837Updated 3 years ago
- A collection of TLAβΊ specifications of varying complexities.β1,373Updated last week
- Raft library for maintaining a replicated state machineβ857Updated this week
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β322Updated 3 years ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β329Updated last month
- A low-latency, cloud-native KVSβ703Updated 4 years ago
- B-tree implementation for Goβ1,116Updated last year
- LBADD: An experimental, distributed SQL databaseβ389Updated 2 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)β515Updated last year
- A persistent storage engine for Multi-Raft logβ593Updated last month
- Raft backend implementation using BoltDBβ684Updated last week
- Molecule is a Go library for parsing protobufs in an efficient and zero-allocation manner.β413Updated last year
- β179Updated 7 years ago
- Write ahead log for Go.β663Updated 7 months ago
- An implementation of failpoints for Golang.β849Updated last year
- Vector clock logging library for Goβ184Updated last year
- Self-Driving Database Management System from Carnegie Mellon Universityβ1,751Updated 2 years ago