anishathalye / porcupine

Related projects ⓘ

Alternatives and complementary repositories for porcupine

• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆465Updated 2 months ago
• ailidani / paxi
  Paxos protocol framework
  ☆552Updated 10 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆644Updated last month
• efficient / epaxos
  ☆613Updated 3 years ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,006Updated 8 years ago
• pingcap / tla-plus
  ☆293Updated 5 months ago
• eliben / raft
  Raft implementation in Go
  ☆1,075Updated last month
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆819Updated 2 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆398Updated last year
• utsaslab / pebblesdb
  The PebblesDB write-optimized key-value store (SOSP 17)
  ☆508Updated 7 months ago
• hydro-project / anna
  A low-latency, cloud-native KVS
  ☆702Updated 3 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆311Updated 2 years ago
• richardartoul / tsdb-layer
  Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.
  ☆509Updated 5 years ago
• pingcap / go-ycsb
  A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆602Updated 5 months ago
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,049Updated 5 months ago
• FastFilter / xorfilter
  Go library implementing binary fuse and xor filters
  ☆683Updated 2 months ago
• otoolep / hraftd
  A reference use of Hashicorp's Raft implementation
  ☆972Updated 2 months ago
• DistributedClocks / GoVector
  Vector clock logging library for Go
  ☆182Updated 10 months ago
• peterbourgon / caspaxos
  A Go implementation of the CASPaxos protocol
  ☆295Updated 6 years ago
• leanstore / leanstore
  ☆487Updated last month
• tomarrell / lbadd
  LBADD: An experimental, distributed SQL database
  ☆388Updated last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,581Updated last month
• richardartoul / molecule
  Molecule is a Go library for parsing protobufs in an efficient and zero-allocation manner.
  ☆407Updated 5 months ago
• rockset / rocksdb-cloud
  A library that provides an embeddable, persistent key-value store for fast storage optimized for AWS
  ☆757Updated last month
• etcd-io / raft
  Raft library for maintaining a replicated state machine
  ☆679Updated this week
• couchbase / moss
  moss - a simple, fast, ordered, persistable, key-val storage library for golang
  ☆956Updated 2 years ago
• hashicorp / raft-boltdb
  Raft backend implementation using BoltDB
  ☆663Updated this week
• axiomhq / hyperloglog
  HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom
  ☆945Updated 3 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆487Updated 3 weeks ago
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,526Updated 3 months ago