Alternatives and similar repositories for dsscratch

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

• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• palvaro / CMPS290S-Winter16
  Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models
  ☆51Updated 8 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆76Updated 9 months ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 4 years ago
• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆85Updated 8 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 5 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• cmeiklejohn / vvclocks
  Verified vector clocks, with Coq!
  ☆14Updated 11 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 6 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆58Updated 6 years ago
• palvaro / molly
  An implementation of LDFI
  ☆128Updated 6 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 6 years ago
• pviotti / conver-old
  [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
  ☆18Updated 9 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• avsm / shonan-143
  Shonan #143: Programming Language Support for Data-intensive Applications
  ☆15Updated 6 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆39Updated 6 years ago
• finagle / finagle-protobuf
  Protobuf support for Finagle
  ☆14Updated 2 years ago
• aturon / ChemistrySet
  A library for composable fine-grained concurrency.
  ☆54Updated 13 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 4 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆17Updated 10 years ago
• basho / riak_crdt_cookbook
  A Cookbook full of Tutorials to get Developers started with Riak's CRDTs
  ☆42Updated 12 years ago
• loverdos / scalapipes
  Scala with forward pipe operator, as in F# and OCaml.
  ☆17Updated 11 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Updated 9 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago