pheymann / typedapi
Build your web API on the type level.
☆161Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for typedapi
- Birds and cats together☆139Updated 2 weeks ago
- Next Level MTL for Scala☆163Updated last year
- Proof of concept for a cats-like library built using Dotty features☆117Updated 5 months ago
- Http Server and client using fs2☆135Updated 2 years ago
- Full program static analysis for Scala☆94Updated 3 years ago
- Seamless interop layer between cats and scalaz☆174Updated 3 years ago
- RabbitMQ stream-based client built on top of Fs2☆149Updated 2 weeks ago
- End-to-end tracing system for Http4s☆108Updated 2 years ago
- Finally Tagless Blocking Implementation☆93Updated 2 years ago
- ☆187Updated 4 months ago
- Circe codec derivation using magnolia☆85Updated 3 months ago
- Transform and compose tagless final encoded algebras in scala☆96Updated 6 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- Freek, a freaky simple Free to combine your DSL seamlessly☆198Updated 7 years ago
- Easy way to create Free Monad using Scala macros with first-class Intellij support.☆114Updated 6 years ago
- Cats Instances for Java Time☆91Updated last week
- Golden testing for Circe☆92Updated 3 months ago
- an implementation of Wadler's a prettier printer☆187Updated last week
- ☆80Updated 3 years ago
- Example app that uses doobie, http4s, and Sangria to serve GraphQL.☆83Updated 2 years ago
- A purely functional rate limiter☆179Updated 3 months ago
- Programming is an exercise in linguistics; spice-up Scala types with Adjective.☆91Updated 4 years ago
- sbt plugin to show a summary of compilation messages.☆201Updated 3 years ago
- Pleasant, yet principled Scala optics DSL☆196Updated 4 years ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆104Updated this week
- A dimensional analysis library based on dependent types☆199Updated 3 months ago
- A STM implementation for Cats Effect☆144Updated last week
- Minimal http4s + Doobie + ZIO + Circe Scala application to show how to build a purely functional web application in Scala.☆125Updated 4 years ago
- Operations for primitive and String singleton types☆163Updated 3 months ago
- Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality☆84Updated 5 years ago