jtfmumm / dsscratchLinks
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
Sorting:
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- A library for composable fine-grained concurrency.☆53Updated 13 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Embeddable multi-Paxos For The JVM☆75Updated 5 months ago
- ☆57Updated 7 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation☆14Updated 8 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 4 months ago
- State machines in Idris☆37Updated 8 years ago
- A Scala DSL for the Kompics framework☆19Updated 3 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 5 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆50Updated 3 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- JVM code generation☆32Updated 6 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago