rberenguel / tla_lightning
Lightning talk about TLA+ for Scala Exchange 2018
☆9Updated 5 years ago
Alternatives and similar repositories for tla_lightning:
Users that are interested in tla_lightning are comparing it to the libraries listed below
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Akka extensions for exploiting locality of clustered actors☆10Updated 5 years ago
- add-on to Akka Typed that tracks effects for use with Session Types☆50Updated 3 years ago
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- Sangria akka-streams integration☆10Updated last month
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 7 years ago
- Pure functional wrapper for RocksDB☆14Updated 5 years ago
- Http4s on Finagle Server or Client☆11Updated this week
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated 5 months ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Monad transformers for exception handling☆17Updated 5 months ago
- High-performance helpers for working with flat arrays in Scala☆10Updated last week
- Convert any value to code☆12Updated last year
- ☆33Updated 5 years ago
- A plugin to build your application using dotty with sbt support☆23Updated 7 years ago
- Problem solving à la carte☆20Updated 2 years ago
- A Scala SDK for interfacing with HashiCorp's Nomad☆19Updated 2 years ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆25Updated 4 months ago
- Event sourcing for Akka Typed☆40Updated 6 years ago
- Next-generation event sourcing and event collaboration with causal consistency☆10Updated 3 years ago
- SBT project generator for flexible monorepo flow☆27Updated 5 months ago
- opentracing for pure applications☆17Updated 6 years ago
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 5 years ago
- Specs2 bindings for Scalaz☆34Updated 7 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- A distributed, transactional key-value store.☆64Updated 6 years ago
- Giter8 template of a Udash application.☆19Updated last year
- ☆10Updated 6 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year