j-mie6 / parsley

Related projects ⓘ

Alternatives and complementary repositories for parsley

• inkytonik / kiama
  A Scala library for language processing.
  ☆48Updated last month
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated last week
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆233Updated last week
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆257Updated 3 years ago
• lampepfl / monadic-reflection
  ☆107Updated 10 months ago
• VirtusLab / Inkuire
  Hoogle-like searches for Scala 3 and Kotlin
  ☆90Updated last month
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆187Updated this week
• rssh / dotty-cps-async
  experimental CPS transformer for dotty
  ☆179Updated this week
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆37Updated 2 years ago
• TomasMikula / libretto
  Declarative concurrency and stream processing library for Scala
  ☆199Updated last week
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆143Updated last week
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 3 years ago
• typelevel / scalacheck-effect
  Effectful property testing built on ScalaCheck
  ☆81Updated last week
• jcouyang / meow
  Catless Category Theory in Dotty/Scala 3 meow ~
  ☆43Updated last year
• typelevel / typelevel-nix
  Development tools for Typelevel projects
  ☆111Updated this week
• epfldata / squid
  Squid – type-safe metaprogramming and compilation framework for Scala
  ☆198Updated 9 months ago
• lampepfl / dotty-macro-examples
  Various tasks solved via metaprogramming in Dotty
  ☆130Updated 2 years ago
• mbovel / presentation-template
  ☆9Updated 4 months ago
• marcinzh / turbolift
  Algebraic Effects for Scala 3
  ☆55Updated 3 weeks ago
• lampepfl / gears
  A strawman for a low-level async library in Scala 3.
  ☆254Updated this week
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆388Updated last week
• cb372 / scala-typed-holes
  ☆187Updated 4 months ago
• tpolecat / typename
  Get the name of a type at compile-time. Amaze your friends!
  ☆75Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• typelevel / cats-tagless
  Library of utilities for tagless final encoded algebras
  ☆317Updated last week
• softwaremill / recursion-training
  Recursion schemes training examples and exercises
  ☆59Updated 4 years ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆89Updated 5 years ago
• siriusxm / snapshot4s
  Snapshot testing for Scala made easy 📸
  ☆54Updated 2 weeks ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 4 years ago