lampepfl / monadic-reflection

Related projects: ⓘ

• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated last month
• zio / zio-optics
  Easily modify parts of larger data structures
  ☆57Updated last month
• typelevel / coop
  Cooperative multithreading as a pure monad transformer
  ☆72Updated this week
• scalacenter / tasty-query
  ☆48Updated last month
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆54Updated this week
• typelevel / scalacheck-effect
  Effectful property testing built on ScalaCheck
  ☆81Updated this week
• zainab-ali / fs2-reactive-streams
  A reactive streams implementation for fs2
  ☆63Updated 5 years ago
• scalaz / scalaz-plugin
  A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
  ☆73Updated 5 years ago
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆72Updated last year
• softwaremill / sttp-model
  Simple Scala HTTP model
  ☆43Updated this week
• typelevel / literally
  Compile time validation of literal values built from strings
  ☆106Updated this week
• indoorvivants / sn-bindgen
  Scala 3 native binding generator + libclang facade
  ☆79Updated last month
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated last year
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated this week
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆95Updated 2 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• ovotech / natchez-extras
  Integrations between Natchez, Doobie, HTTP4s, Log4cats and Datadog. Formerly called effect-utils.
  ☆32Updated 5 months ago
• alexknvl / polymorphic
  ☆66Updated this week
• scala / scala-library-next
  backwards-binary-compatible Scala standard library additions
  ☆69Updated 2 months ago
• typelevel / spotted-leopards
  Proof of concept for a cats-like library built using Dotty features
  ☆118Updated 3 months ago
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 3 weeks ago
• typelevel / cats-effect-cps
  An incubator project for async/await syntax support for Cats Effect
  ☆84Updated this week
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆75Updated last year
• ChristopherDavenport / linebacker
  Finally Tagless Blocking Implementation
  ☆94Updated 2 years ago
• oleg-py / meow-mtl
  Next Level MTL for Scala
  ☆163Updated last year
• evolution-gaming / akka-effect
  Cats-Effect & Akka interop
  ☆55Updated this week
• typelevel / vault
  Type-safe, persistent storage for values of arbitrary types
  ☆83Updated this week
• typelevel / cats-time
  Cats Instances for Java Time
  ☆91Updated 2 weeks ago
• davenverse / catscript
  ☆48Updated 3 months ago
• typelevel / toolkit
  Quickstart your next app with the Typelevel Toolkit!
  ☆94Updated this week