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
- Type-safe and idiomatic Scala client for FoundationDB☆28Updated 10 months ago
- Convert any value to code☆12Updated last year
- Pure functional wrapper for RocksDB☆14Updated 5 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Problem solving à la carte☆20Updated 3 years ago
- SBT project generator for flexible monorepo flow☆27Updated last month
- Collection of CRDT data structures☆17Updated 8 years ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Common sbt plugins for Play modules☆12Updated last year
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Updated 2 years ago
- Pragmatic command line parsing and configuration for Scala apps☆14Updated 2 years ago
- Event sourcing for Akka Typed☆40Updated 7 years ago
- The material for the Advanced Functional Design workshop☆18Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆16Updated last year
- A Scala.js library for building user interfaces☆13Updated 2 years ago
- ☆10Updated 6 years ago
- Http4s on Finagle Server or Client☆11Updated 2 weeks ago
- add-on to Akka Typed that tracks effects for use with Session Types☆50Updated 3 years ago
- A forgiving Json lense☆19Updated 5 years ago
- High-performance helpers for working with flat arrays in Scala☆10Updated 3 months ago
- Next-generation event sourcing and event collaboration with causal consistency☆10Updated 4 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- This repository is obsolete☆10Updated 8 years ago
- An sbt plugin for creating java foreign bindings using project panama.☆12Updated 5 years ago
- Scala library for converting Spark rows to case classes☆11Updated 8 years ago
- Akka plugin to collect various data about actors☆17Updated 10 months ago
- Referentially transparent logging with slf4j☆21Updated 5 months ago
- An SBT plugin to let you know when you mess up☆21Updated 8 years ago