anishathalye / porcupineLinks
A fast linearizability checker written in Go π
β1,126Updated 3 weeks ago
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β504Updated 10 months ago
- Black-box transactional safety checker based on cycle detectionβ684Updated 3 weeks ago
- β630Updated 4 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specificationβ845Updated 3 years ago
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,060Updated 9 years ago
- A reference use of Hashicorp's Raft implementationβ1,076Updated 4 months ago
- A Go port of Yahoo! Cloud Serving Benchmark (YCSB)β630Updated last week
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.β518Updated 6 years ago
- Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shiβ¦β363Updated 2 weeks ago
- Go library implementing binary fuse and xor filtersβ706Updated 3 weeks ago
- Raft implementation in Goβ1,255Updated 11 months ago
- Raft library for maintaining a replicated state machineβ973Updated 2 weeks ago
- A low-latency, cloud-native KVSβ706Updated 4 years ago
- Awesome list for Paxos and friendsβ2,128Updated last year
- Raft backend implementation using BoltDBβ699Updated 2 months ago
- Consistent hashing with bounded loads in Golangβ763Updated 2 years ago
- A list of papers about distributed consensus.β2,599Updated last year
- β599Updated last month
- An immutable radix tree implementation in Golangβ1,082Updated 3 weeks ago
- A collection of TLAβΊ specifications of varying complexities.β1,435Updated this week
- HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiomβ1,022Updated 3 weeks ago
- World's fastest log analysis: Ξ» + SQL + JSON + S3β1,069Updated last month
- B-tree implementation for Goβ1,180Updated 2 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β329Updated 4 years ago
- Write ahead log for Go.β699Updated 4 months ago
- Scalable, fault-tolerant application-layer sharding for Go applicationsβ872Updated 2 months ago
- High-performance, columnar, in-memory store with bitmap indexing in Goβ1,503Updated 6 months ago
- Awesome list of distributed transactionsβ731Updated 4 years ago
- moss - a simple, fast, ordered, persistable, key-val storage library for golangβ1,016Updated last year