Catless Category Theory in Dotty/Scala 3 meow ~
☆44Mar 7, 2023Updated 3 years ago
Alternatives and similar repositories for meow
Users that are interested in meow are comparing it to the libraries listed below
Sorting:
- DUCT is a Scala 3 category theory and functional programming library☆15Dec 31, 2025Updated 2 months ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Declarative concurrency and stream processing library for Scala☆215Updated this week
- ☆13Feb 18, 2021Updated 5 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 7 years ago
- Algebraic Effects for Scala 3☆81Dec 7, 2025Updated 2 months ago
- Scala reinforcement learning framework☆15Feb 11, 2022Updated 4 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 7 months ago
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆166Updated this week
- Fast streams for Scala 3☆57Feb 8, 2025Updated last year
- ☆23Feb 20, 2026Updated 2 weeks ago
- A forgiving Json lense☆19Jul 13, 2019Updated 6 years ago
- endless is a library to build distributed systems in functional Scala using a pluggable runtime model☆105Aug 10, 2025Updated 6 months ago
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆111May 24, 2017Updated 8 years ago
- Compiler plugin for intuitive tagless final☆127Jul 30, 2024Updated last year
- A Scalafix plugin for Mill build tool☆40Feb 3, 2026Updated last month
- A simple macro-less logging typeclass with some common backends☆22Feb 25, 2026Updated last week
- Safe compile-time parallelization of for-comprehensions for Scala 3☆90Jan 27, 2025Updated last year
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 4 years ago
- Type class derivation for services, not data☆38Feb 10, 2025Updated last year
- TypeTag without scala-reflect. Supports Scala 2 and Scala 3.☆154Feb 24, 2026Updated last week
- Macro-free helpers for defining newtypes in Scala, cross-compiled to Scala 3.☆88Updated this week
- ☆108Jan 7, 2024Updated 2 years ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆43Feb 12, 2026Updated 3 weeks ago
- Effect Zoo for Scala☆42Jan 4, 2026Updated 2 months ago
- Typeclass interfaces to access user-defined Scala annotations☆24Feb 12, 2025Updated last year
- Lightweight Buffer and Slice abstractions for Scala.☆26Jul 12, 2024Updated last year
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 7 years ago
- Productivity-oriented collection of lightweight fancy stuff for Scala toolchain☆627Updated this week
- Fun and Games with Fix, Cofree, and Doobie☆40Nov 13, 2016Updated 9 years ago
- Kotlin compiler support for Mill Build Tool☆29Jan 22, 2025Updated last year
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- Experiments with symbolic functions in the Scala type system☆27Jun 17, 2019Updated 6 years ago
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- Automatically parallelize your for-comprehensions at compile time.☆134Sep 30, 2024Updated last year
- Simple scala library for building and parsing URIs☆14Nov 24, 2025Updated 3 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago