Alternatives and similar repositories for baboon

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

• lampepfl / monadic-reflection
  ☆108Updated last year
• earldouglas / linear-scala
  Linear types in Scala
  ☆44Updated 2 weeks ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆147Updated last week
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆44Updated 2 years ago
• typelevel / coop
  Cooperative multithreading as a pure monad transformer
  ☆73Updated this week
• melvic-ybanez / lohika
  A Proof Generator for Entailments and Tautologies in First-order Logic
  ☆44Updated last month
• mattlianje / layoutz
  Simple, beautiful CLI output
  ☆208Updated this week
• runarorama / scala-mset
  Multisets for Scala
  ☆86Updated 4 years ago
• danslapman / morphling
  Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)
  ☆35Updated 10 months ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆38Updated 3 years ago
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆92Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• tofu-tf / volga
  Comprehensions for Arrows and Monoidal categories
  ☆61Updated 5 months ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆49Updated 4 years ago
• sjrd / scala-unboxed-option
  A type-parametric unboxed Option type for Scala
  ☆64Updated 4 years ago
• TomasMikula / libretto
  Declarative concurrency and stream processing library for Scala
  ☆213Updated last week
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆47Updated 2 years ago
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated last year
• oleg-py / shironeko
  Frontend state management library for cats-effect
  ☆27Updated 4 years ago
• marcinzh / skutek
  Extensible effects for Scala
  ☆37Updated 3 years ago
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆81Updated last week
• non / kronecker
  Library for counting and enumerating things.
  ☆47Updated 4 years ago
• sellout / turtles
  Generalized recursion schemes and traversals for Scala, using Cats.
  ☆48Updated 6 years ago
• julienrf / effects-without-monads-but-with-dotty
  ☆37Updated 6 years ago
• Odomontois / zio-tagless-err
  ☆17Updated 6 years ago
• neko-kai / fp-dictionary
  FP category theory jargon explained on a single A4 page
  ☆63Updated 7 years ago
• TypeChecked / numerology
  ☆19Updated 6 years ago
• pvillega / free-tagless-eff
  Comparison between different patterns
  ☆27Updated 8 years ago
• marcinzh / effect-zoo
  Effect Zoo for Scala
  ☆42Updated 4 months ago
• cb372 / cats-selective
  ☆29Updated 5 years ago