Eliah-Lakhin / papa-carloView external linksLinks
Constructor of incremental parsers in Scala
☆453Dec 15, 2020Updated 5 years ago
Alternatives and similar repositories for papa-carlo
Users that are interested in papa-carlo are comparing it to the libraries listed below
Sorting:
- DEPRECATED - minimal template to play with the Scalameta semantic API☆16Sep 2, 2017Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 3 years ago
- An SBT plugin to let you know when you mess up☆21Aug 30, 2016Updated 9 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 8 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 8 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- This script checks visa application status using idata.com.tr services in Turkey (for Germany and Italy) and notifies OSX Notification Ce…☆11Jul 9, 2015Updated 10 years ago
- ☆83Jul 1, 2013Updated 12 years ago
- Provides domain models and codecs for common protocols☆28Oct 23, 2021Updated 4 years ago
- General, extensible effect monad for Scala with message-passing semantics☆38Sep 16, 2017Updated 8 years ago
- Unique Functional Values for Scala☆17Sep 3, 2024Updated last year
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- A Scala implementation of parsing with derivatives☆201Jan 1, 2020Updated 6 years ago
- ☆11Oct 17, 2016Updated 9 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Nov 16, 2021Updated 4 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 8 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- friendly little parsers☆357Aug 19, 2024Updated last year
- partially-automatic generation of tests for the entire collections library☆23Feb 5, 2026Updated last week
- Easy way to create Free Monad using Scala macros with first-class Intellij support.☆114Jun 15, 2018Updated 7 years ago
- An exploration of purely functional library design in Scala.☆104May 10, 2016Updated 9 years ago
- Generic encoders / decoders for the various kantan libraries.☆12Apr 10, 2025Updated 10 months ago
- ☆32Jun 19, 2018Updated 7 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- A scala macro for reasonable lazy semantics☆85Feb 9, 2026Updated last week
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- Fast Parser Combinators☆27Feb 1, 2015Updated 11 years ago
- Generalized, incremental parser combinators for scalaz-stream☆62Jan 2, 2015Updated 11 years ago
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- methods for divination and predicting the future☆13Apr 8, 2021Updated 4 years ago
- Writing Fast Parsers Fast in Scala☆1,130Jan 14, 2026Updated last month
- A dimensional analysis library based on dependent types☆199Aug 15, 2024Updated last year
- Giter8 template using tut and remark.js☆36May 21, 2019Updated 6 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- Functional type classes for Scala☆182Mar 13, 2015Updated 10 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆162May 25, 2025Updated 8 months ago