Alternatives and similar repositories for scala-typed-holes:

Users that are interested in scala-typed-holes are comparing it to the libraries listed below

• pheymann / typedapi
  Build your web API on the type level.
  ☆159Updated 5 years ago
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated last month
• typelevel / cats-mtl
  cats transformer type classes.
  ☆310Updated last month
• typelevel / fs2-chat
  Sample project demonstrating use of fs2-io to build a chat client and server
  ☆131Updated last week
• oleg-py / meow-mtl
  Next Level MTL for Scala
  ☆163Updated 2 years ago
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 4 years ago
• profunktor / fs2-rabbit
  RabbitMQ stream-based client built on top of Fs2
  ☆149Updated last week
• VladKopanev / cats-saga
  Purely Functional Transaction Management In Scala With Cats
  ☆125Updated last year
• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 8 months ago
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆148Updated 2 weeks ago
• typelevel / spotted-leopards
  Proof of concept for a cats-like library built using Dotty features
  ☆117Updated 11 months ago
• typelevel / catbird
  Birds and cats together
  ☆140Updated this week
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆95Updated 3 years ago
• propensive / kaleidoscope
  Statically-checked inline matching on regular expressions in Scala
  ☆166Updated 3 months ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated 8 months ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• tpolecat / doobie-http4s-sangria-graphql-example
  Example app that uses doobie, http4s, and Sangria to serve GraphQL.
  ☆84Updated 3 years ago
• typelevel / cats-tagless
  Library of utilities for tagless final encoded algebras
  ☆320Updated 3 weeks ago
• tindzk / seed
  Build tool for Scala projects
  ☆237Updated 4 years ago
• SystemFw / upperbound
  A purely functional rate limiter
  ☆180Updated 9 months ago
• augustjune / context-applied
  Compiler plugin for intuitive tagless final
  ☆126Updated 9 months ago
• frees-io / iota
  Fast [co]product types with a clean syntax. For Cats & Scalaz.
  ☆178Updated 5 years ago
• propensive / contextual
  Statically-checked string interpolation in Scala
  ☆251Updated 3 months ago
• profunktor / http4s-jwt-auth
  Opinionated JWT authentication library for Http4s
  ☆127Updated this week
• ProjectSeptemberInc / freek
  Freek, a freaky simple Free to combine your DSL seamlessly
  ☆198Updated 8 years ago
• to-ithaca / libra
  A dimensional analysis library based on dependent types
  ☆198Updated 8 months ago
• tofu-tf / derevo
  Multiple instance derivations inside a single macro annotation
  ☆184Updated 2 months ago
• Spinoco / fs2-http
  Http Server and client using fs2
  ☆137Updated 3 years ago
• zio / zio-telemetry
  ZIO-powered OpenTelemetry library
  ☆118Updated this week
• cb372 / free-vs-tagless-final
  ☆79Updated 4 years ago