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
  ☆41Updated this week
• djspiewak / sbt-spiewak
  A plugin which represents my personal SBT project baseline
  ☆53Updated 6 months ago
• iRevive / union-derivation
  A micro-library to derive a typeclass for Scala 3 Union types.
  ☆30Updated this week
• SystemFw / dynosaur
  Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2
  ☆44Updated 2 months ago
• typelevel / discipline-munit
  MUnit binding for Typelevel Discipline
  ☆24Updated this week
• typelevel / bobcats
  Typelevel's very own CryptoKitties!
  ☆28Updated this week
• davenverse / catscript
  ☆48Updated 9 months ago
• note / mini-refined
  Simple encoding of refinement types in Scala 3
  ☆25Updated 8 months ago
• sirthias / macrolizer
  Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
  ☆65Updated 2 years ago
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆43Updated 3 years ago
• softwaremill / sttp-apispec
  OpenAPI, AsyncAPI and JSON Schema Scala models.
  ☆23Updated this week
• oleg-py / stm4cats
  STM monad for cats-effect
  ☆37Updated 5 years ago
• tschuchortdev / hkd4s
  Higher Kinded Data for Scala 3
  ☆48Updated 3 months ago
• davenverse / mules
  Caches are tricky - Let Mules Haul its Weight.
  ☆67Updated 7 months ago
• minosiants / pencil
  Simple smtp client
  ☆46Updated last year
• 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
  ☆41Updated last month
• profunktor / tutorials
  Source code of the examples shown in the video tutorials
  ☆21Updated 5 years ago
• deusaquilus / miniquill
  Miniature Quill implementation for Benchmarking and Study
  ☆18Updated 2 years ago
• typelevel / keypool
  A Keyed Pool Implementation for Scala
  ☆36Updated this week
• scalacenter / sbt-version-policy
  Compatibility checks for your dependencies
  ☆85Updated 3 weeks ago
• usommerl / graalnative4s
  Employ Scala for serverless applications
  ☆69Updated this week
• typelevel / ce3.g8
  ☆27Updated last month
• trobert / skunk-intellij
  Support for skunk sql interpolator macro in IntelliJ IDEA
  ☆28Updated 3 years ago
• precog / fs2-ssh
  A wrapper around Apache SSHD targeting cats-effect and fs2
  ☆43Updated 6 months ago
• kubukoz / videos
  ☆27Updated 7 months ago
• kailuowang / mau
  A toolbox of mid level constructs built with cats-effect
  ☆33Updated 11 months ago
• reibitto / sbt-welcome
  An SBT plugin for displaying a welcome message and commonly used tasks.
  ☆85Updated 2 months ago
• propensive / gastronomy
  Simple generically-derived cryptographic functions for Scala
  ☆20Updated last month
• typelevel / typelevel-scalafix
  Scalafix rules for Typelevel projects
  ☆26Updated this week