Alternatives and similar repositories for infrastructure-as-types

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

• djspiewak / sbt-spiewak
  A plugin which represents my personal SBT project baseline
  ☆53Updated last year
• typelevel / scalac-options
  A library for configuring scalac options
  ☆43Updated last week
• http4s / http4s-jdk-http-client
  JDK 11+ http client implementation for http4s clients
  ☆57Updated this week
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆73Updated 2 years ago
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆43Updated 4 years ago
• tpolecat / pool-party
  Turn a normal resource into a pooled one.
  ☆39Updated 2 years ago
• scalacenter / sbt-version-policy
  Compatibility checks for your dependencies
  ☆85Updated 2 months ago
• ghik / sbt-nosbt
  An sbt plugin to organize your build using plain Scala files
  ☆30Updated 2 years ago
• laserdisc-io / laserdisc
  A Future-free Fs2 native pure FP Redis client
  ☆96Updated this week
• sirthias / macrolizer
  Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
  ☆67Updated 3 years ago
• sirthias / spliff
  Efficient diffing in Scala
  ☆60Updated 11 months ago
• geirolz / advxml
  A lightweight, simple and functional DSL library to work with XML in Scala with Cats
  ☆61Updated 4 months ago
• typelevel / vault
  Type-safe, persistent storage for values of arbitrary types
  ☆83Updated 2 weeks ago
• minosiants / pencil
  Simple smtp client
  ☆49Updated 2 years ago
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 5 months ago
• typelevel / natchez-http4s
  Glorious integration layer for Natchez and Http4s.
  ☆48Updated this week
• http4s / http4s-grpc
  ☆43Updated this week
• vigoo / desert
  Binary serialization library for Scala
  ☆59Updated 8 months ago
• profunktor / console4cats
  Effect-type agnostic Console I/O for Cats Effect (archived, use Cats Effect 3 instead)
  ☆54Updated 4 years ago
• SystemFw / dynosaur
  Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2
  ☆43Updated last month
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆78Updated 2 years ago
• davenverse / catscript
  ☆48Updated last year
• TomasMikula / jing
  Typesafe, spec-first APIs without codegen. Just Import 'N' Go!
  ☆37Updated last week
• armanbilge / epollcat
  minimum viable runtime
  ☆66Updated 4 months ago
• typelevel / literally
  Compile time validation of literal values built from strings
  ☆112Updated last month
• rewards-network / combos
  A library for validation combinators in Scala
  ☆36Updated 3 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
• eed3si9n / expecty
  Power assertions (as known from Groovy and Spock) for the Scala language.
  ☆106Updated 3 months ago
• davenverse / rediculous
  REmote DIctionary Client, that's hysterical.
  ☆48Updated last year
• alexarchambault / data-class
  case-classes with better binary compatibility story
  ☆80Updated 6 months ago