non / antimirov
algebraic manipulation of regular expressions
☆193Updated 2 years ago
Related projects: ⓘ
- LL(1) parser combinators in Scala☆56Updated last year
- Extensible algebraic effects with handlers☆144Updated this week
- A parser combinator library based on the GLL algorithm☆302Updated 2 months ago
- A Scala implementation of parsing with derivatives☆197Updated 4 years ago
- A graphical interactive proof assistant designed for education☆162Updated 2 weeks ago
- A python-ish pure and total functional programming language☆224Updated this week
- Squid – type-safe metaprogramming and compilation framework for Scala☆197Updated 7 months ago
- A function code generator and an isomorphism analyzer☆37Updated 2 years ago
- Declarative concurrency in Scala - The implementation of the chemical machine☆154Updated 2 years ago
- ☆108Updated 8 months ago
- Dhall for Java☆174Updated last month
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 2 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A talk on using recursion schemes in FP.☆216Updated 5 months ago
- Limits of Scala typechecking speed☆156Updated 3 years ago
- Verified message-passing programs in Dotty☆47Updated 3 years ago
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 3 years ago
- A Scala library for language processing.☆47Updated this week
- Declarative concurrency and stream processing library for Scala☆196Updated this week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 4 years ago
- Session programming in Scala☆59Updated 3 years ago
- Library for counting and enumerating things.☆44Updated 3 years ago
- Research platform for new language concepts and compiler technologies for Scala.☆85Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆315Updated this week
- A syntax for type-safe effectful computations in Scala☆175Updated 8 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated last year
- SQL micro-dialect implementation for querying JSON objects. Written purely in Scala.☆65Updated 4 years ago
- Lasca is Scala shifted towards Haskell.☆127Updated 5 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆202Updated 5 months ago