Alternatives and similar repositories for chi

Users that are interested in chi are comparing it to the libraries listed below

• djspiewak / skolems
  A microlibrary for Scala encodings of higher-rank quantifiers
  ☆59Updated 5 years ago
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated 2 years ago
• runarorama / scala-mset
  Multisets for Scala
  ☆85Updated 3 years ago
• lampepfl / monadic-reflection
  ☆108Updated last year
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 4 years ago
• spartanz / parserz
  A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of…
  ☆71Updated 5 years ago
• typelevel / coop
  Cooperative multithreading as a pure monad transformer
  ☆73Updated last week
• typelevel / scalacheck-effect
  Effectful property testing built on ScalaCheck
  ☆82Updated last week
• higherkindness / skeuomorph
  skema morphisms
  ☆89Updated last week
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated last week
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• softwaremill / recursion-training
  Recursion schemes training examples and exercises
  ☆60Updated 5 years ago
• scalaz / scalazzi
  enforce the Scalazzi subset of Scala with scalafix
  ☆83Updated 6 years ago
• scalaz / scalaz-plugin
  A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
  ☆73Updated 5 years ago
• non / kronecker
  Library for counting and enumerating things.
  ☆47Updated 3 years ago
• cb372 / scala-typed-holes
  ☆188Updated 5 months ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated 9 months ago
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆72Updated 2 weeks ago
• runarorama / dice
  A Scala library for rolling dice and analyzing probability distributions
  ☆36Updated 5 years ago
• cb372 / free-vs-tagless-final
  ☆79Updated 4 years ago
• marcinzh / effect-zoo
  Effect Zoo for Scala
  ☆38Updated last month
• typelevel / spotted-leopards
  Proof of concept for a cats-like library built using Dotty features
  ☆117Updated 11 months ago
• nuttycom / xenomorph
  Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.
  ☆108Updated 6 years ago
• propensive / probably
  To probe what we can't prove, so the unprovable may become probable; testing for Scala
  ☆55Updated 3 months ago
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆91Updated 7 months ago
• scalalandio / ocdquery
  Over-Complicated Database Query using higher-kinded data
  ☆35Updated 4 years ago
• davenverse / mules
  Caches are tricky - Let Mules Haul its Weight.
  ☆68Updated 2 months ago
• armanbilge / schrodinger
  Give your cats a set of dice
  ☆38Updated last week
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆148Updated 3 weeks ago
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆78Updated 2 years ago