typelevel / paiges

Related projects ⓘ

Alternatives and complementary repositories for paiges

• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆163Updated 3 months 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 2 weeks ago
• pheymann / typedapi
  Build your web API on the type level.
  ☆161Updated 5 years ago
• cb372 / scala-typed-holes
  ☆187Updated 4 months 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
• SystemFw / upperbound
  A purely functional rate limiter
  ☆179Updated 3 months ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆94Updated 3 years ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• scalacenter / scalac-profiling
  Compilation profiling tool for Scala 2 projects
  ☆132Updated last week
• vpavkin / circe-magnolia
  Circe codec derivation using magnolia
  ☆85Updated 3 months ago
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆144Updated last week
• circe / circe-derivation
  Fast type class instance derivation for Circe
  ☆132Updated 3 months ago
• to-ithaca / libra
  A dimensional analysis library based on dependent types
  ☆199Updated 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
• profunktor / fs2-rabbit
  RabbitMQ stream-based client built on top of Fs2
  ☆149Updated 2 weeks ago
• propensive / kaleidoscope
  Statically-checked inline matching on regular expressions in Scala
  ☆165Updated last week
• eed3si9n / expecty
  Power assertions (as known from Groovy and Spock) for the Scala language.
  ☆104Updated this week
• ccadllc / cedi-dtrace
  Provides a functional API for tracing programs across system and network boundaries.
  ☆62Updated 4 months ago
• ChristopherDavenport / linebacker
  Finally Tagless Blocking Implementation
  ☆93Updated 2 years ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆80Updated 3 months ago
• lancewalton / treelog
  Allows logging in a tree structure so that comprehensive logging does not become incomprehensible
  ☆220Updated 2 weeks 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
• krzemin / octopus
  Scala library for boilerplate-free validation
  ☆149Updated 4 months ago
• typelevel / machinist
  Spire's macros for zero-cost operator enrichment
  ☆189Updated 4 years ago
• kailuowang / mainecoon
  Transform and compose tagless final encoded algebras in scala
  ☆96Updated 6 years ago
• higherkindness / skeuomorph
  skema morphisms
  ☆89Updated 2 weeks ago