typelevel / paiges

Related projects ⓘ

Alternatives and complementary repositories for paiges

• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 2 months ago
• cb372 / scala-typed-holes
  ☆187Updated 4 months ago
• pheymann / typedapi
  Build your web API on the type level.
  ☆161Updated 5 years ago
• oleg-py / meow-mtl
  Next Level MTL for Scala
  ☆163Updated last year
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 3 years ago
• spartanz / schemaz
  A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…
  ☆164Updated 4 years ago
• typelevel / spotted-leopards
  Proof of concept for a cats-like library built using Dotty features
  ☆117Updated 5 months ago
• typelevel / catbird
  Birds and cats together
  ☆139Updated this week
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆143Updated last week
• scalaz / scalaz-nio
  Performant, purely-functional, low-level, and unopinionated wrapper around Java NIO functionality
  ☆84Updated 5 years ago
• propensive / kaleidoscope
  Statically-checked inline matching on regular expressions in Scala
  ☆165Updated 3 weeks ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆80Updated 2 months ago
• circe / circe-derivation
  Fast type class instance derivation for Circe
  ☆132Updated 2 months ago
• to-ithaca / libra
  A dimensional analysis library based on dependent types
  ☆199Updated 2 months ago
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆94Updated 3 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• frees-io / iota
  Fast [co]product types with a clean syntax. For Cats & Scalaz.
  ☆177Updated 5 years ago
• circe / circe-golden
  Golden testing for Circe
  ☆92Updated 3 months ago
• Spinoco / fs2-http
  Http Server and client using fs2
  ☆135Updated 2 years ago
• erikerlandson / coulomb
  coulomb: unit analysis for Scala
  ☆142Updated last month
• vpavkin / circe-magnolia
  Circe codec derivation using magnolia
  ☆85Updated 2 months ago
• SystemFw / upperbound
  A purely functional rate limiter
  ☆179Updated 3 months ago
• kailuowang / mainecoon
  Transform and compose tagless final encoded algebras in scala
  ☆96Updated 6 years ago
• propensive / contextual
  Statically-checked string interpolation in Scala
  ☆251Updated 3 weeks ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• 47degrees / scalacheck-toolbox
  A helping hand for generating sensible data with ScalaCheck
  ☆120Updated this week
• scalacenter / scalac-profiling
  Compilation profiling tool for Scala 2 projects
  ☆132Updated this week
• typelevel / cats-time
  Cats Instances for Java Time
  ☆91Updated last month
• eed3si9n / expecty
  Power assertions (as known from Groovy and Spock) for the Scala language.
  ☆100Updated this week
• typelevel / grackle
  Grackle: Functional GraphQL for the Typelevel stack
  ☆177Updated this week