anishathalye / porcupine
A fast linearizability checker written in Go 🔎
☆989Updated last week
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☆479Updated 4 months ago
- Paxos protocol framework☆555Updated last year
- Black-box transactional safety checker based on cycle detection☆646Updated 3 months ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,015Updated 8 years ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)☆609Updated 7 months ago
- ☆617Updated 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…☆275Updated last week
- Raft library for maintaining a replicated state machine☆714Updated this week
- A reference use of Hashicorp's Raft implementation☆997Updated this week
- Raft implementation in Go☆1,104Updated 3 weeks ago
- Go library implementing binary fuse and xor filters☆682Updated 2 weeks ago
- Verifies the linearizability of experimentally accessible histories.☆398Updated last month
- Awesome list for Paxos and friends☆2,068Updated 7 months ago
- An implementation of failpoints for Golang.☆832Updated 7 months ago
- ☆512Updated last month
- Vector clock logging library for Go☆182Updated last year
- Write ahead log for Go.☆627Updated 2 months ago
- An immutable radix tree implementation in Golang☆1,020Updated 3 weeks ago
- Molecule is a Go library for parsing protobufs in an efficient and zero-allocation manner.☆410Updated 7 months ago
- Consistent hashing with bounded loads in Golang☆710Updated last year
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom☆951Updated last week
- because you need another a key/value storage engine☆1,299Updated 7 months ago
- Raft backend implementation using BoltDB☆664Updated this week
- ☆293Updated 7 months ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆507Updated 9 months ago
- moss - a simple, fast, ordered, persistable, key-val storage library for golang☆993Updated last month
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆824Updated 2 years ago
- A low-latency, cloud-native KVS☆697Updated 3 years ago
- Adaptive Radix Trees implemented in Go☆380Updated last month
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.☆512Updated 5 years ago