rberenguel / tla_lightning

Related projects ⓘ

Alternatives and complementary repositories for tla_lightning

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated 3 months ago
• sangria-graphql / macro-visit
  A macro-based generic visitor generator
  ☆24Updated last month
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆36Updated 6 years ago
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆10Updated last week
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 5 years ago
• typelevel / catalysts
  ☆33Updated 5 years ago
• jdegoes / advanced-functional-design
  The material for the Advanced Functional Design workshop
  ☆18Updated 2 years ago
• finagle / finagle-websocket
  Finagle Websocket clients and servers
  ☆35Updated 6 years ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• pwliwanow / foundationdb4s
  Type-safe and idiomatic Scala client for FoundationDB
  ☆28Updated 3 months ago
• scalaz / scalaz-reactive
  A high-performance, purely-functional library for reactive programming based on efficient incremental computation
  ☆24Updated 5 years ago
• alexarchambault / mill-native-image
  ☆19Updated 3 weeks ago
• xuwei-k / sbt-jshell
  sbt jshell plugin
  ☆14Updated last week
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 3 weeks ago
• algd / oauth2.0-scala
  OAuth 2.0 authorization provider implementation for Akka-http
  ☆23Updated 2 years ago
• manuelbernhardt / akka-locality
  Akka extensions for exploiting locality of clustered actors
  ☆10Updated 5 years ago
• nokia / akka-typed-persistence
  Event sourcing for Akka Typed
  ☆40Updated 6 years ago
• zero-deps / kvs
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆23Updated last month
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• ThoughtWorksInc / Q.scala
  Convert any value to code
  ☆12Updated last year
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated this week
• twitter-incubator / classpath-verifier
  Verify that all reachable code links and will not fail at runtime with a linkage error
  ☆10Updated 2 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• 7mind / sbtgen
  SBT project generator for flexible monorepo flow
  ☆26Updated 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
• slamdata / quark
  Quark: An Embedded DSL for Quasar Analytics
  ☆45Updated 7 years ago