VirtusLab / infrastructure-as-typesLinks
Infrastructure as Types - modern infrastructure declaration and deployment toolkit
☆26Updated last year
Alternatives and similar repositories for infrastructure-as-types
Users that are interested in infrastructure-as-types are comparing it to the libraries listed below
Sorting:
- A library for configuring scalac options☆42Updated 2 weeks ago
- A plugin which represents my personal SBT project baseline☆53Updated 10 months ago
- Error handling made precise. Because error handling belongs in the types.☆26Updated last year
- Dotty Generic Derivation Examples☆28Updated 4 years ago
- An SBT plugin for displaying a welcome message and commonly used tasks.☆85Updated 5 months ago
- ☆16Updated 4 years ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- Sources, Sinks and Pipelines for channeling data☆32Updated last year
- ☆27Updated 2 weeks ago
- A simple stubbing library for ZIO tests.☆25Updated last month
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago
- A library for validation combinators in Scala☆36Updated 3 years ago
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆67Updated 2 years ago
- Employ Scala for serverless applications☆69Updated last week
- Replacing Akka Actors with Cats Effect and FS2☆43Updated 5 years ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 4 months ago
- Binary serialization library for Scala☆59Updated 7 months ago
- minimum viable runtime☆66Updated 3 months ago
- Utilities for working with Doobie/SQL☆34Updated 2 years ago
- Configured derivation library for scala 3☆35Updated 9 months ago
- ☆24Updated last week
- Glorious integration layer for Natchez and Http4s.☆48Updated 2 weeks ago
- HTTP (browser-compatible) server and client for GRPC services written in Scala that follows Connect protocol specification and supports G…☆33Updated this week
- Simple smtp client☆47Updated 2 years ago
- ☆43Updated 2 weeks ago
- A pure scheduler for referentially transparent effect types☆19Updated 2 years ago
- Reddit-clone demonstrating how larger, DDD-based, event sourced, purely FP application could be implemented in Scala (if requirements wou…☆39Updated 10 months ago
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆43Updated 5 months ago
- Compile time validation of literal values built from strings☆112Updated 2 weeks ago
- STM monad for cats-effect☆37Updated 6 years ago