Alternatives and similar repositories for infrastructure-as-types

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

• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 10 months ago
• typelevel / scalac-options
  A library for configuring scalac options
  ☆45Updated 2 weeks ago
• djspiewak / sbt-spiewak
  A plugin which represents my personal SBT project baseline
  ☆53Updated last year
• tpolecat / pool-party
  Turn a normal resource into a pooled one.
  ☆40Updated 3 years ago
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆43Updated 4 years ago
• minosiants / pencil
  Simple smtp client
  ☆48Updated last month
• http4s / http4s-jdk-http-client
  JDK 11+ http client implementation for http4s clients
  ☆58Updated last week
• typelevel / discipline-munit
  MUnit binding for Typelevel Discipline
  ☆25Updated 2 weeks ago
• geirolz / advxml
  A lightweight, simple and functional DSL library to work with XML in Scala with Cats
  ☆61Updated 8 months ago
• djspiewak / kitteh-redis
  A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec
  ☆43Updated 3 years ago
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆73Updated 2 years ago
• scalacenter / sbt-version-policy
  Compatibility checks for your dependencies
  ☆85Updated 2 weeks ago
• sirthias / macrolizer
  Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
  ☆66Updated 3 years ago
• SystemFw / dynosaur
  Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2
  ☆44Updated 5 months ago
• typelevel / literally
  Compile time validation of literal values built from strings
  ☆112Updated last week
• note / mini-refined
  Simple encoding of refinement types in Scala 3
  ☆24Updated last year
• sirthias / spliff
  Efficient diffing in Scala
  ☆61Updated last month
• ghik / sbt-nosbt
  An sbt plugin to organize your build using plain Scala files
  ☆30Updated 2 years ago
• evolution-gaming / derivation
  Configured derivation library for scala 3
  ☆35Updated last year
• http4s / http4s-grpc
  ☆43Updated this week
• precog / fs2-ssh
  A wrapper around Apache SSHD targeting cats-effect and fs2
  ☆44Updated 2 weeks ago
• typelevel / natchez-http4s
  Glorious integration layer for Natchez and Http4s.
  ☆50Updated 2 weeks ago
• scodec / hexdump4s
  Example application demonstrating use of scala-cli, scodec, and fs2
  ☆40Updated 2 years ago
• davenverse / mules
  Caches are tricky - Let Mules Haul its Weight.
  ☆72Updated 8 months ago
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆78Updated 2 years ago
• tschuchortdev / hkd4s
  Higher Kinded Data for Scala 3
  ☆50Updated 5 months ago
• profunktor / console4cats
  Effect-type agnostic Console I/O for Cats Effect (archived, use Cats Effect 3 instead)
  ☆54Updated 4 years ago
• laserdisc-io / laserdisc
  A Future-free Fs2 native pure FP Redis client
  ☆99Updated last month
• typelevel / keypool
  A Keyed Pool Implementation for Scala
  ☆39Updated last week
• armanbilge / epollcat
  minimum viable runtime
  ☆66Updated 8 months ago