shamsimam / savinaLinks
Savina is an Actor Benchmark Suite.
☆36Updated 4 years ago
Alternatives and similar repositories for savina
Users that are interested in savina are comparing it to the libraries listed below
Sorting:
- Scala implementation of the Ctrie datastructure.☆174Updated 3 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- ☆55Updated 3 months ago
- REScala - distributed and reactive programming embedded in OO and FP programs.☆93Updated last month
- An implementation of LDFI☆128Updated 6 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- Embeddable multi-Paxos For The JVM☆76Updated 6 months ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- ☆10Updated last year
- Core components for the Scribble Java tools☆56Updated 9 months ago
- Memory Management ToolKit☆36Updated last week
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- RFCs for changes to Pony☆62Updated 5 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Tutorials on Lightweight Modular Staging☆122Updated 9 months ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Presentation slides from conferences☆18Updated 5 years ago