Alternatives and similar repositories for papers

Users that are interested in papers are comparing it to the libraries listed below

• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆224Updated 9 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆329Updated 4 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆211Updated 7 years ago
• mwhittaker / consistency_in_distributed_systems
  Distributed Systems Consistency Reading Group
  ☆42Updated 5 years ago
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 10 years ago
• efficient / SuRF
  First Practical and General-purpose Range Filter
  ☆550Updated 3 years ago
• feilengcui008 / distributed_system_readings
  A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems
  ☆172Updated 6 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 5 years ago
• apavlo / h-store
  H-Store Distributed Main Memory OLTP Database System
  ☆593Updated 5 years ago
• memsql / dbbench
  Database Benchmark Tool
  ☆154Updated 2 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆506Updated 11 months ago
• TimoKersten / db-engine-paradigms
  Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…
  ☆266Updated 7 years ago
• efficient / epaxos
  ☆631Updated 4 years ago
• yxymit / DBx1000
  ☆290Updated 3 years ago
• utsaslab / pebblesdb
  The PebblesDB write-optimized key-value store (SOSP 17)
  ☆522Updated last year
• apache / datasketches-cpp
  Core C++ Sketch Library
  ☆253Updated this week
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆214Updated 11 months ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆94Updated 7 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆558Updated 2 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• PlatformLab / RAMCloud
  **No Longer Maintained** Official RAMCloud repo
  ☆504Updated 6 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆85Updated 4 years ago
• stephentu / silo
  Multicore in-memory storage engine
  ☆398Updated 8 years ago
• mwhittaker / aries
  A Javascript ARIES Simulator
  ☆60Updated 8 years ago
• xerial / streamdb-readings
  Readings in Stream Processing
  ☆128Updated 5 months ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆847Updated 3 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• s-hironobu / AlgorithmCollection
  An Educational parallel Algorithm collection
  ☆138Updated last year
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆78Updated 5 years ago