rberenguel / tla_lightning

Related projects: ⓘ

• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 6 years ago
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated last week
• alexarchambault / mill-native-image
  ☆18Updated 3 weeks ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 10 months ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆20Updated 4 years ago
• TomasMikula / nutcracker
  Problem solving à la carte
  ☆20Updated 2 years ago
• dsl-paradise / dsl-paradise
  ☆25Updated this week
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• vic / cyclone
  Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js
  ☆12Updated 3 years ago
• pwliwanow / foundationdb4s
  Type-safe and idiomatic Scala client for FoundationDB
  ☆28Updated last month
• sangria-graphql / sangria-akka-streams
  Sangria akka-streams integration
  ☆10Updated 2 weeks ago
• jphmrst / bps
  Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
  ☆16Updated 11 months ago
• zio / interop-java
  ☆17Updated 4 years ago
• typelevel / catalysts
  ☆33Updated 5 years ago
• tabdulradi / happypath
  Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).
  ☆16Updated 2 years ago
• ThoughtWorksInc / tryt.scala
  Monad transformers for exception handling
  ☆17Updated last month
• goedelsoup / rocks4s
  Pure functional wrapper for RocksDB
  ☆14Updated 5 years ago
• typelevel / unique
  Unique Functional Values for Scala
  ☆17Updated 2 weeks 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
• MaiaOrg / scala-maia
  ☆35Updated this week
• 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
• propensive / pyroclastic
  Functional dataflow through composable computations
  ☆18Updated 3 years ago
• jdegoes / advanced-functional-design
  The material for the Advanced Functional Design workshop
  ☆18Updated last year
• twitter-incubator / classpath-verifier
  Verify that all reachable code links and will not fail at runtime with a linkage error
  ☆10Updated 2 years ago
• hashicorp / nomad-scala-sdk
  A Scala SDK for interfacing with HashiCorp's Nomad
  ☆19Updated last year
• sjrd / scalatscomp
  A TypeScript compiler written in Scala (wip)
  ☆15Updated 7 years ago
• manuelbernhardt / akka-locality
  Akka extensions for exploiting locality of clustered actors
  ☆10Updated 4 years ago
• sangria-graphql / macro-visit
  A macro-based generic visitor generator
  ☆24Updated this week
• DavidGregory084 / inc
  Experiments with incremental compiler construction on the JVM
  ☆11Updated 2 years ago