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
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated 2 years ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 10 months ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• alexarchambault / mill-native-image
  ☆21Updated last week
• pwliwanow / foundationdb4s
  Type-safe and idiomatic Scala client for FoundationDB
  ☆28Updated 11 months ago
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆11Updated 3 weeks ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 7 years ago
• vic / cyclone
  Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js
  ☆11Updated 4 years ago
• epfldata / dbstage
  ☆15Updated 5 years ago
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆27Updated last month
• RBMHTechnology / calliope
  Next-generation event sourcing and event collaboration with causal consistency
  ☆10Updated 4 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
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• jodersky / scala-argparse
  Pragmatic command line parsing and configuration for Scala apps
  ☆14Updated 2 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• getshaka-org / shaka
  A Scala.js library for building user interfaces
  ☆13Updated 2 years ago
• DmytroMitin / dotty-patched
  Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
  ☆20Updated 2 years 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 2 years ago
• ScalaConsultants / akka-periscope
  Akka plugin to collect various data about actors
  ☆17Updated 10 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
• rkuhn / akka-typed-session
  add-on to Akka Typed that tracks effects for use with Session Types
  ☆50Updated 4 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 2 weeks ago
• scalaz / scalaz-reactive
  A high-performance, purely-functional library for reactive programming based on efficient incremental computation
  ☆24Updated 6 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆53Updated 5 months ago
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated 4 months ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• rssh / notes
  just place for some random notes about programming
  ☆16Updated 6 months ago