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
• xuwei-k / sbt-jshell
  sbt jshell plugin
  ☆14Updated this week
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated last month
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆11Updated last week
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 8 months ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• smarter / dotty-bridge
  This repository is obsolete
  ☆10Updated 8 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 2 weeks ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• sviperll / higher-kinded-java
  ☆13Updated 8 years ago
• alexarchambault / mill-native-image
  ☆20Updated 3 weeks ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• sangria-graphql / macro-visit
  A macro-based generic visitor generator
  ☆24Updated 2 months ago
• xuwei-k / nobox
  immutable primitive array/NonEmptyArray wrapper for Scala
  ☆33Updated this week
• softwaremill / monix-correlation-id
  ☆10Updated 6 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
• tabdulradi / hello-scala3-native-image
  Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image
  ☆32Updated 4 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• rkuhn / akka-typed-session
  add-on to Akka Typed that tracks effects for use with Session Types
  ☆50Updated 3 years ago
• finagle / finagle-websocket
  Finagle Websocket clients and servers
  ☆35Updated 7 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• redelmann / scalatomic
  Easy to use (and hard to misuse) interface for atomic variables.
  ☆9Updated 6 years ago
• typelevel / catalysts
  ☆33Updated 6 years ago
• 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
• manuelbernhardt / akka-locality
  Akka extensions for exploiting locality of clustered actors
  ☆10Updated 5 years ago
• kyleu / scala-js-typescript
  A TypeScript-to-Scala.js converter. Designed for parsing definitelytyped.com, powers definitelyscala.com.
  ☆21Updated 4 years ago
• sideeffffect / scala-rust-interop
  ☆35Updated last week
• ShaneDelmore / imclipitly
  Make your project more clippity implicitly with imclipitly
  ☆17Updated 8 years ago
• ScalaConsultants / akka-periscope
  Akka plugin to collect various data about actors
  ☆17Updated 8 months ago