Alternatives and similar repositories for tla_lightning:

Users that are interested in tla_lightning are comparing it to the libraries listed below

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last month
• jphmrst / bps
  Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
  ☆16Updated last year
• softwaremill / monix-correlation-id
  ☆10Updated 6 years ago
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆11Updated 2 weeks ago
• xuwei-k / sbt-jshell
  sbt jshell plugin
  ☆14Updated last month
• jdegoes / advanced-functional-design
  The material for the Advanced Functional Design workshop
  ☆18Updated 2 years ago
• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated 2 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• nokia / akka-typed-persistence
  Event sourcing for Akka Typed
  ☆40Updated 7 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• rssh / notes
  just place for some random notes about programming
  ☆16Updated 3 months ago
• lampepfl / dotty-feature-requests
  Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…
  ☆31Updated last year
• RBMHTechnology / calliope
  Next-generation event sourcing and event collaboration with causal consistency
  ☆10Updated 3 years ago
• davegurnell / atlas
  A tiny embedded scripting language implemented in Scala.
  ☆24Updated 6 years ago
• plokhotnyuk / expression-evaluator
  Compile-time expression evaluation for Scala 2
  ☆16Updated last month
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 8 months ago
• zero-deps / kvs
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆24Updated 6 months ago
• pwliwanow / foundationdb4s
  Type-safe and idiomatic Scala client for FoundationDB
  ☆28Updated 8 months ago
• rkuhn / akka-typed-session
  add-on to Akka Typed that tracks effects for use with Session Types
  ☆50Updated 3 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• Katrix / perspective
  Higher kinded data in Scala
  ☆20Updated last month
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 3 years ago
• slamdata / quark
  Quark: An Embedded DSL for Quasar Analytics
  ☆45Updated 7 years ago
• sbt / util
  util modules for sbt
  ☆15Updated 4 years ago
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆27Updated last month