Alternatives and similar repositories for parsley

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

• lampepfl / monadic-reflection
  ☆109Updated last year
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated this week
• mbovel / presentation-template
  ☆10Updated 11 months ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆198Updated 5 years ago
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆91Updated 8 months ago
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆240Updated 2 weeks ago
• dotty-cps-async / dotty-cps-async
  experimental CPS transformer for dotty
  ☆188Updated this week
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated 3 weeks ago
• TomasMikula / libretto
  Declarative concurrency and stream processing library for Scala
  ☆211Updated last week
• 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 last week
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆217Updated last year
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆20Updated last month
• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated 8 months ago
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated 2 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated last week
• melvic-ybanez / lohika
  A Proof Generator for Entailments and Tautologies in First-order Logic
  ☆39Updated 5 months ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆38Updated 3 years ago
• neko-kai / fp-dictionary
  FP category theory jargon explained on a single A4 page
  ☆63Updated 6 years ago
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆78Updated 2 years ago
• typelevel / scalacheck-effect
  Effectful property testing built on ScalaCheck
  ☆82Updated this week
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆74Updated last month
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆100Updated last week
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 3 months ago
• lampepfl / dotty-macro-examples
  Various tasks solved via metaprogramming in Dotty
  ☆134Updated 2 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆91Updated last month
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆201Updated last year
• cb372 / scala-typed-holes
  ☆188Updated 5 months ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago