rberenguel / tla_lightningLinks
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
Sorting:
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Sangria akka-streams integration☆11Updated 3 weeks ago
- Akka plugin to collect various data about actors☆17Updated 9 months ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- Http4s on Finagle Server or Client☆11Updated last month
- ☆10Updated 6 years ago
- Pure functional wrapper for RocksDB☆14Updated 5 years ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- sbt jshell plugin☆14Updated this week
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Updated 4 years ago
- ☆13Updated 6 years ago
- Akka extensions for exploiting locality of clustered actors☆10Updated 5 years ago
- ☆33Updated 6 years ago
- High-performance helpers for working with flat arrays in Scala☆10Updated 2 months ago
- ☆20Updated last month
- Monad transformers for exception handling☆17Updated 9 months ago
- Problem solving à la carte☆20Updated 3 years ago
- just place for some random notes about programming☆16Updated 4 months ago
- A Scala.js library for building user interfaces☆13Updated 2 years ago
- Event sourcing for Akka Typed☆40Updated 7 years ago
- Referentially transparent logging with slf4j☆21Updated 4 months ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- A macro-based generic visitor generator☆24Updated 3 months ago
- SBT project generator for flexible monorepo flow☆27Updated last week
- Collection of CRDT data structures☆17Updated 8 years ago
- ☆57Updated 7 years ago
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Updated 2 years ago
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated 9 months ago