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
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆11Updated 3 weeks ago
• ScalaConsultants / akka-periscope
  Akka plugin to collect various data about actors
  ☆17Updated 9 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
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last month
• softwaremill / monix-correlation-id
  ☆10Updated 6 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• vic / cyclone
  Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js
  ☆11Updated 4 years ago
• xuwei-k / sbt-jshell
  sbt jshell plugin
  ☆14Updated this week
• tabdulradi / hello-scala3-native-image
  Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image
  ☆32Updated 4 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• manuelbernhardt / akka-locality
  Akka extensions for exploiting locality of clustered actors
  ☆10Updated 5 years ago
• typelevel / catalysts
  ☆33Updated 6 years ago
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated 2 months ago
• alexarchambault / mill-native-image
  ☆20Updated last month
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 9 months ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 3 years ago
• rssh / notes
  just place for some random notes about programming
  ☆16Updated 4 months ago
• getshaka-org / shaka
  A Scala.js library for building user interfaces
  ☆13Updated 2 years ago
• nokia / akka-typed-persistence
  Event sourcing for Akka Typed
  ☆40Updated 7 years ago
• NeQuissimus / zio-slf4j
  Referentially transparent logging with slf4j
  ☆21Updated 4 months ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• sangria-graphql / macro-visit
  A macro-based generic visitor generator
  ☆24Updated 3 months ago
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆27Updated last week
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• propensive / guillotine
  Making the execution of system processes easier in Scala
  ☆13Updated 3 months ago
• twitter-incubator / classpath-verifier
  Verify that all reachable code links and will not fail at runtime with a linkage error
  ☆10Updated 2 years ago
• pwliwanow / foundationdb4s
  Type-safe and idiomatic Scala client for FoundationDB
  ☆28Updated 9 months ago