anishathalye / porcupine

Related projects ⓘ

Alternatives and complementary repositories for porcupine

• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆465Updated last month
• ailidani / paxi
  Paxos protocol framework
  ☆550Updated 10 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆641Updated last month
• efficient / epaxos
  ☆612Updated 3 years ago
• pingcap / go-ycsb
  A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆600Updated 5 months ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,005Updated 8 years ago
• otoolep / hraftd
  A reference use of Hashicorp's Raft implementation
  ☆970Updated 2 months ago
• pingcap / tla-plus
  ☆293Updated 5 months ago
• utsaslab / pebblesdb
  The PebblesDB write-optimized key-value store (SOSP 17)
  ☆506Updated 6 months ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆819Updated 2 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,572Updated last month
• hydro-project / anna
  A low-latency, cloud-native KVS
  ☆700Updated 3 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆398Updated last year
• FastFilter / xorfilter
  Go library implementing binary fuse and xor filters
  ☆682Updated last month
• couchbase / moss
  moss - a simple, fast, ordered, persistable, key-val storage library for golang
  ☆956Updated 2 years ago
• leanstore / leanstore
  ☆486Updated 3 weeks ago
• etcd-io / raft
  Raft library for maintaining a replicated state machine
  ☆666Updated last week
• canonical / raft
  Unmaintained C implementation of the Raft consensus protocol
  ☆940Updated 8 months ago
• rockset / rocksdb-cloud
  A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS
  ☆750Updated 3 weeks ago
• tikv / raft-engine
  A persistent storage engine for Multi-Raft log
  ☆562Updated this week
• vmware / splinterdb
  High Performance Embedded Key-Value Store
  ☆685Updated last month
• hashicorp / raft-boltdb
  Raft backend implementation using BoltDB
  ☆661Updated 10 months ago
• RedisLabs / redisraft
  A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
  ☆822Updated last year
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆310Updated 2 years ago
• axiomhq / hyperloglog
  HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
  ☆942Updated 2 months ago
• madthanu / alice
  ☆176Updated 6 years ago
• thomasjungblut / go-sstables
  Go library for protobuf compatible sstables, a skiplist, a recordio format and other database building blocks like a write-ahead log. Shi…
  ☆272Updated this week
• DistributedClocks / GoVector
  Vector clock logging library for Go
  ☆182Updated 9 months ago
• PlatformLab / RAMCloud
  **No Longer Maintained** Official RAMCloud repo
  ☆489Updated 5 years ago
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,043Updated 5 months ago