jtfmumm / dsscratch
Distributed system simulator and distributed algorithm scratchpad
☆21Updated last year
Alternatives and similar repositories for dsscratch:
Users that are interested in dsscratch are comparing it to the libraries listed below
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- ☆60Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 5 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- A library for composable fine-grained concurrency.☆53Updated 12 years ago
- This is an umbrella development repository for Cloud Haskell☆72Updated 6 years ago
- ☆57Updated 7 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Updated 5 years ago
- Embeddable multi-Paxos For The JVM☆75Updated 3 months ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 7 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 3 years ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- Haskell distributed stream processing with exactly-once semantics☆90Updated 10 years ago
- Advent of Code 2017☆41Updated 6 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 4 years ago
- ☆18Updated 9 years ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Updated 10 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 8 years ago
- CLI-driven TLA+ project template☆43Updated 5 years ago
- Implementation of Raft consensus algorithm☆111Updated 10 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Updated 7 years ago
- ☆41Updated 10 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 6 years ago