Alternatives and similar repositories for assignments_template

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

• 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
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆196Updated 7 years ago
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆27Updated 6 months ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆25Updated last year
• intellistream / StreamProcessing_ReadingList
  stream processing reading list
  ☆69Updated 2 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆44Updated 5 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆78Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• splvm / dbinternals-meetup
  ☆42Updated 2 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆40Updated 3 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• psu-csl / replicated-store
  ☆21Updated last month
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Updated 2 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• sherrybai / chubby
  Project for COS 518: distributed lock service
  ☆35Updated 6 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆121Updated 4 months ago
• eatonphil / gomvcc
  A little, pedagogical implementation of mvcc and transaction isolation levels.
  ☆61Updated 8 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 9 months ago
• viktorleis / mmapbench
  ☆136Updated 2 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• scalog / scalog
  reimplementing scalog from scratch
  ☆30Updated 4 years ago
• datafusion-contrib / datafusion-dolomite
  Experimental DataFusion Optimizer
  ☆47Updated 2 years ago