Alternatives and similar repositories for infrastructure-as-types:

Users that are interested in infrastructure-as-types are comparing it to the libraries listed below

• typelevel / scalac-options
  A library for configuring scalac options
  ☆42Updated 2 weeks ago
• djspiewak / sbt-spiewak
  A plugin which represents my personal SBT project baseline
  ☆53Updated 8 months ago
• scalacenter / sbt-version-policy
  Compatibility checks for your dependencies
  ☆85Updated last month
• tschuchortdev / hkd4s
  Higher Kinded Data for Scala 3
  ☆49Updated 4 months ago
• davenverse / mules
  Caches are tricky - Let Mules Haul its Weight.
  ☆68Updated last month
• typelevel / discipline-munit
  MUnit binding for Typelevel Discipline
  ☆24Updated 2 weeks ago
• zio-archive / zio-connect
  Sources, Sinks and Pipelines for channeling data
  ☆32Updated last year
• davenverse / catscript
  ☆48Updated 10 months ago
• sirthias / macrolizer
  Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
  ☆67Updated 2 years ago
• zio-archive / zio-metrics-legacy
  ⛔️ DEPRECATED
  ☆56Updated 2 years ago
• typelevel / ce3.g8
  ☆27Updated 2 weeks ago
• minosiants / pencil
  Simple smtp client
  ☆47Updated last year
• rewards-network / combos
  A library for validation combinators in Scala
  ☆36Updated 3 years ago
• vlovgr / actors-cats-effect-fs2
  Replacing Akka Actors with Cats Effect and FS2
  ☆43Updated 5 years ago
• debasishg / tradeio
  A disciplined way to purely functional domain models in Scala
  ☆31Updated 8 months ago
• evolution-gaming / derivation
  Configured derivation library for scala 3
  ☆35Updated 7 months ago
• kitlangton / zio-tui
  ☆57Updated last year
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆43Updated 4 years ago
• djspiewak / kitteh-redis
  A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec
  ☆43Updated 2 years ago
• http4s / http4s-grpc
  ☆42Updated this week
• propensive / gastronomy
  Simple generically-derived cryptographic functions for Scala
  ☆20Updated 3 months ago
• gvolpe / fsm-streams
  ☆15Updated 4 years ago
• deusaquilus / derivation_examples
  Dotty Generic Derivation Examples
  ☆28Updated 4 years ago
• SystemFw / dynosaur
  Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2
  ☆43Updated 3 months ago
• typelevel / typelevel-scalafix
  Scalafix rules for Typelevel projects
  ☆26Updated 2 weeks ago
• scottweaver / testcontainers-for-zio
  ☆49Updated last year
• umazalakain / errata
  Error handling made precise. Because error handling belongs in the types.
  ☆26Updated 10 months ago
• jatcwang / doobieroll
  Utilities for working with Doobie/SQL
  ☆34Updated last year
• armanbilge / epollcat
  minimum viable runtime
  ☆66Updated last month
• zivergetech / Zymposium
  Code examples from our weekly Zymposium series.
  ☆36Updated last year