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
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- ☆57Updated 7 years ago
- Scala with forward pipe operator, as in F# and OCaml.☆17Updated 11 years ago
- Importer program for microlibraries. Bring in the libbits!☆18Updated 9 years ago
- Pure Pony Kafka client☆57Updated 6 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 5 years ago
- Embeddable multi-Paxos For The JVM☆75Updated 4 months ago
- A library for composable fine-grained concurrency.☆53Updated 13 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- This is an umbrella development repository for Cloud Haskell☆72Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Nothing to see here. Move along...☆53Updated 9 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆89Updated 9 years ago
- ☆60Updated 5 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 4 months ago
- Java Code Generator for Idris☆71Updated 9 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆50Updated 3 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Offline serializability verification, in Clojure☆67Updated 7 years ago