VirtusLab / infrastructure-as-types

Related projects: ⓘ

• djspiewak / sbt-spiewak
  A plugin which represents my personal SBT project baseline
  ☆53Updated last month
• zio / zio-lambda-old
  ☆20Updated this week
• typelevel / scalac-options
  A library for configuring scalac options
  ☆39Updated this week
• djspiewak / kitteh-redis
  A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec
  ☆42Updated last year
• minosiants / pencil
  Simple smtp client
  ☆47Updated last year
• note / mini-refined
  Simple encoding of refinement types in Scala 3
  ☆24Updated 2 months ago
• gvolpe / fsm-streams
  ☆15Updated 3 years ago
• profunktor / tutorials
  Source code of the examples shown in the video tutorials
  ☆21Updated 5 years ago
• scalacenter / sbt-version-policy
  Compatibility checks for your dependencies
  ☆82Updated this week
• deusaquilus / derivation_examples
  Dotty Generic Derivation Examples
  ☆28Updated 3 years ago
• jatcwang / difflicious
  Scala library for readable diffs of values
  ☆79Updated this week
• davenverse / catscript
  ☆48Updated 3 months ago
• zio / zio-codec
  High-performance codecs for ZIO applications
  ☆23Updated 2 years ago
• zio / zio-metrics-legacy
  ⛔️ DEPRECATED
  ☆56Updated last year
• sirthias / macrolizer
  Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time
  ☆65Updated 2 years ago
• softwaremill / sttp-apispec
  OpenAPI, AsyncAPI and JSON Schema Scala models.
  ☆23Updated this week
• rewards-network / combos
  A library for validation combinators in Scala
  ☆36Updated 3 years ago
• gvolpe / newtypes
  Zero-cost wrappers (newtypes) for Scala 3
  ☆42Updated 3 years ago
• reibitto / sbt-welcome
  An SBT plugin for displaying a welcome message and commonly used tasks.
  ☆79Updated last month
• propensive / gastronomy
  Simple generically-derived cryptographic functions for Scala
  ☆20Updated 3 weeks ago
• vlovgr / actors-cats-effect-fs2
  Replacing Akka Actors with Cats Effect and FS2
  ☆44Updated 4 years ago
• zio / zio-optics
  Easily modify parts of larger data structures
  ☆57Updated last month
• usommerl / graalnative4s
  Employ Scala for serverless applications
  ☆67Updated this week
• SystemFw / dynosaur
  Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2
  ☆41Updated 2 months ago
• deusaquilus / miniquill
  Miniature Quill implementation for Benchmarking and Study
  ☆18Updated last year
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 3 weeks ago
• typelevel / ce3.g8
  ☆27Updated this week
• oleg-py / stm4cats
  STM monad for cats-effect
  ☆37Updated 5 years ago
• typelevel / keypool
  A Keyed Pool Implementation for Scala
  ☆34Updated this week
• emartech / pure-scheduler
  A pure scheduler for referentially transparent effect types
  ☆19Updated last year