Alternatives and similar repositories for parsley:

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

• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated this week
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated last month
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆91Updated 7 months ago
• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated 7 months ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 5 years ago
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆240Updated this week
• lampepfl / monadic-reflection
  ☆108Updated last year
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆90Updated this week
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated 2 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated 2 months ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆217Updated last year
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 3 years ago
• lampepfl / dotty-macro-examples
  Various tasks solved via metaprogramming in Dotty
  ☆134Updated 2 years ago
• TomasMikula / libretto
  Declarative concurrency and stream processing library for Scala
  ☆210Updated 2 weeks ago
• mbovel / presentation-template
  ☆10Updated 10 months ago
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆72Updated this week
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆18Updated 2 weeks ago
• dotty-cps-async / dotty-cps-async
  experimental CPS transformer for dotty
  ☆185Updated 3 weeks ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆200Updated last year
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 4 years ago
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆148Updated 2 weeks ago
• typelevel / scalacheck-effect
  Effectful property testing built on ScalaCheck
  ☆81Updated 2 weeks ago
• neko-kai / fp-dictionary
  FP category theory jargon explained on a single A4 page
  ☆62Updated 6 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆372Updated this week
• lampepfl / gears
  A strawman for a low-level async library in Scala 3.
  ☆275Updated last month
• melvic-ybanez / lohika
  A Proof Generator for Entailments and Tautologies in First-order Logic
  ☆39Updated 4 months ago
• cb372 / scala-typed-holes
  ☆187Updated 4 months ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆38Updated 2 years ago