inkytonik / kiamaLinks
A Scala library for language processing.
☆47Updated last year
Alternatives and similar repositories for kiama
Users that are interested in kiama are comparing it to the libraries listed below
Sorting:
- ☆108Updated last year
- Extensible algebraic effects with handlers☆146Updated 2 weeks ago
- Linear types in Scala☆44Updated last week
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- Fast streams for Scala 3☆56Updated 7 months ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- LL(1) parser combinators in Scala☆60Updated 2 weeks ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- A fast and modern parser combinator library for Scala☆198Updated last month
- Lambda syntax for Scala EDSLs☆27Updated 2 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated last week
- Hoogle-like searches for Scala 3 and Kotlin☆92Updated last year
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 4 years ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Shape-safe TensorFlow in Dotty☆47Updated 2 years ago
- Higher kinded data in Scala☆20Updated 5 months ago
- Algebraic Effects for Scala 3☆79Updated 2 weeks ago
- Session programming in Scala☆59Updated 4 years ago
- A Scala implementation of parsing with derivatives☆199Updated 5 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 5 years ago
- Typesafe record types for Scala☆21Updated 7 months ago
- Generic Monoids for Scala☆52Updated 2 weeks ago
- A recursion schemes micro-library☆21Updated 5 years ago
- Library for counting and enumerating things.☆47Updated 4 years ago
- ☆55Updated last month
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Updated 8 years ago
- ☆19Updated 3 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Updated 3 years ago
- Access Scala language features on the type-level☆31Updated last year