☆108Jan 7, 2024Updated 2 years ago
Alternatives and similar repositories for monadic-reflection
Users that are interested in monadic-reflection are comparing it to the libraries listed below
Sorting:
- Extensible algebraic effects with handlers☆148Updated this week
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- Scala Algebra System☆17Dec 2, 2025Updated 2 months ago
- experimental CPS transformer for dotty☆194Feb 14, 2026Updated 2 weeks ago
- Simple encoding of refinement types in Scala 3☆24Jun 24, 2024Updated last year
- ☆40Feb 17, 2026Updated last week
- Feral cats are homeless, feral functions are serverless☆197Updated this week
- Declarative concurrency and stream processing library for Scala☆215Updated this week
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 2 weeks ago
- A strawman for a low-level async library in Scala 3.☆291Jan 23, 2026Updated last month
- Higher kinded data in Scala☆21Mar 23, 2025Updated 11 months ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 6 months ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆93Jan 28, 2026Updated last month
- Simulacrum as Scalafix rules☆35Updated this week
- Zero-cost wrappers (newtypes) for Scala 3☆43Mar 16, 2021Updated 4 years ago
- Cats Bifunctor IO☆79Jan 18, 2019Updated 7 years ago
- XML String Interpolator for Dotty☆34Apr 16, 2024Updated last year
- Type-safe, persistent storage for values of arbitrary types☆82Updated this week
- Markdown String Interpolator for Scala 3☆19Jan 18, 2022Updated 4 years ago
- Automatically parallelize your for-comprehensions at compile time.☆134Sep 30, 2024Updated last year
- Scala library for readable diffs of values☆103Feb 8, 2026Updated 3 weeks ago
- Syntactic sugar for monad composition in Scala☆278Aug 12, 2024Updated last year
- Scala 3 Open Community Build - detects regressions in the Scala 3 compiler based on the Open Source Scala 3 ecosystem☆17Feb 20, 2026Updated last week
- Over-Complicated Database Query using higher-kinded data☆35Oct 30, 2020Updated 5 years ago
- Hoogle-like searches for Scala 3 and Kotlin☆92Sep 19, 2024Updated last year
- Pretty diffs for scala case classes☆344Dec 3, 2024Updated last year
- ☆16Jun 6, 2023Updated 2 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Apr 23, 2020Updated 5 years ago
- Proof assistant based on first-order logic and set theory☆65Feb 16, 2026Updated last week
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- Desugaring scala `for` without implicit `withFilter`s☆712May 7, 2024Updated last year
- Generic programming for Scala☆199Updated this week
- Statically-checked string interpolation in Scala☆252Jan 26, 2025Updated last year
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆56May 27, 2025Updated 9 months ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Jun 5, 2023Updated 2 years ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆20Feb 15, 2026Updated 2 weeks ago
- Macro-free helpers for defining newtypes in Scala, cross-compiled to Scala 3.☆88Jan 28, 2026Updated last month