Alternatives and similar repositories for assignments_template

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

• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 6 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 7 months ago
• psu-csl / replicated-store
  ☆21Updated 6 months ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• COS418F18 / assignments_template
  ☆32Updated last year
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆43Updated 5 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆40Updated 3 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• viktorleis / mmapbench
  ☆137Updated 2 years ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆132Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 5 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆195Updated 6 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• intellistream / StreamProcessing_ReadingList
  stream processing reading list
  ☆68Updated last year
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Updated 2 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆78Updated 2 years ago
• waynexia / helixdb
  HelixDB is a time-series oriented Key-Value store written in Rust.
  ☆20Updated 4 months ago
• sherrybai / chubby
  Project for COS 518: distributed lock service
  ☆34Updated 6 years ago
• belliottsmith / accord
  ☆26Updated 3 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 5 years ago
• tikv / tikv-dev-guide
  The TiKV development/contribution guide
  ☆35Updated 2 years ago
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆27Updated 5 months ago