jcouyang / meowView external linksLinks
Catless Category Theory in Dotty/Scala 3 meow ~
☆44Mar 7, 2023Updated 2 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 last month
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 8 years ago
- Declarative concurrency and stream processing library for Scala☆215Feb 1, 2026Updated last week
- ☆13Feb 18, 2021Updated 4 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
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 6 months ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆163Feb 6, 2026Updated last week
- Fast streams for Scala 3☆57Feb 8, 2025Updated last year
- A forgiving Json lense☆19Jul 13, 2019Updated 6 years ago
- ☆23Updated this week
- endless is a library to build distributed systems in functional Scala using a pluggable runtime model☆107Aug 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☆126Jul 30, 2024Updated last year
- A simple macro-less logging typeclass with some common backends☆22Feb 4, 2026Updated last week
- A Scalafix plugin for Mill build tool☆40Feb 3, 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.☆154Jan 11, 2026Updated last month
- Macro-free helpers for defining newtypes in Scala, cross-compiled to Scala 3.☆88Jan 28, 2026Updated 2 weeks ago
- ☆108Jan 7, 2024Updated 2 years ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆43Updated this week
- Effect Zoo for Scala☆42Jan 4, 2026Updated last month
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 7 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆26Jul 12, 2024Updated last year
- Typeclass interfaces to access user-defined Scala annotations☆24Feb 12, 2025Updated last year
- Productivity-oriented collection of lightweight fancy stuff for Scala toolchain☆626Feb 6, 2026Updated last 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☆29Feb 5, 2026Updated last 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
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Simple scala library for building and parsing URIs☆14Nov 24, 2025Updated 2 months ago