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
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 6 months ago
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆27Updated 6 months ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 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
• jdegoes / advanced-functional-design
  The material for the Advanced Functional Design workshop
  ☆18Updated 2 years ago
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• rssh / notes
  just place for some random notes about programming
  ☆15Updated last month
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆21Updated this week
• sideeffffect / scala-rust-interop
  ☆34Updated 4 months ago
• tabdulradi / happypath
  Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).
  ☆16Updated 3 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• alexarchambault / mill-native-image
  ☆19Updated last week
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆10Updated last month
• sangria-graphql / macro-visit
  A macro-based generic visitor generator
  ☆24Updated last week
• vpavkin / neural-networks-scala
  Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala
  ☆16Updated 7 years ago
• getshaka-org / shaka
  A Scala.js library for building user interfaces
  ☆13Updated last year
• propensive / pyroclastic
  Functional dataflow through composable computations
  ☆18Updated 3 years ago
• nestorpersist / json
  Persist-Json, a Fast Json Parser Written in Scala
  ☆11Updated 6 years ago
• hablapps / stateless
  A library which is not recognized as citizen of any infrastructure.
  ☆26Updated 5 years ago
• qingwei91 / basil
  A forgiving Json lense
  ☆19Updated 5 years ago
• markehammons / sbt-shackle
  An sbt plugin for creating java foreign bindings using project panama.
  ☆12Updated 5 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 last year
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated this week
• redelmann / scalatomic
  Easy to use (and hard to misuse) interface for atomic variables.
  ☆9Updated 6 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
• softwaremill / monix-correlation-id
  ☆10Updated 6 years ago
• azolotko / sbt-jfr
  An sbt plugin to configure Java Flight Recorder
  ☆10Updated 7 months ago