Catless Category Theory in Dotty/Scala 3 meow ~
☆43Mar 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DUCT is a Scala 3 category theory and functional programming library☆15Oct 13, 2026Updated 3 weeks ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 4 years ago
- Declarative concurrency and stream processing library for Scala☆215Updated this week
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- Generic library for structured commands with explicit parallelism☆11Nov 16, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Algebraic Effects for Scala 3☆83Sep 30, 2026Updated last month
- Scala compiler plugin to detect unused expressions☆67Updated this week
- ☆110Jan 7, 2024Updated 2 years ago
- Compiler plugin for intuitive tagless final☆126Jul 30, 2024Updated 2 years ago
- Scala reinforcement learning framework☆15Feb 11, 2022Updated 4 years ago
- Makes union types work with for-comprehensions (like scala.Either, but without the allocation cost).☆16Oct 19, 2021Updated 5 years ago
- Scala <-> C interop☆114Feb 29, 2024Updated 2 years ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆93Jan 27, 2025Updated last year
- A forgiving Json lense☆19Jul 13, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fast streams for Scala 3☆56Feb 8, 2025Updated last year
- ☆14Jul 26, 2019Updated 7 years ago
- endless is a library to build distributed systems in functional Scala using a pluggable runtime model☆106Oct 21, 2026Updated 2 weeks ago
- Effect Zoo for Scala☆41Jan 4, 2026Updated 10 months ago
- ☆13Feb 18, 2021Updated 5 years ago
- Kotlin compiler support for Mill Build Tool☆30Jan 22, 2025Updated last year
- Artificial Neural Network in Scala☆12Nov 4, 2021Updated 5 years ago
- Productivity-oriented collection of lightweight fancy stuff for Scala toolchain☆628Updated this week
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fun and Games with Fix, Cofree, and Doobie☆40Nov 13, 2016Updated 9 years ago
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆113May 24, 2017Updated 9 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 8 years ago
- scalafix rules☆58Updated this week
- Hoogle-like searches for Scala 3 and Kotlin☆93Sep 19, 2024Updated 2 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- CircuitBreaker is used to provide stability and prevent cascading failures in distributed systems.☆49Sep 26, 2026Updated last month
- An example of running a GraalVM native-image with Scala on AWS Lambda.☆13Oct 24, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆18Nov 11, 2024Updated last year
- Indent-adjusted multiline string literals for Scala.☆49Oct 22, 2026Updated 2 weeks ago
- A toolbox of mid level constructs built with cats-effect☆32Mar 6, 2024Updated 2 years ago
- Scala cfor macro, like a java for-loop☆19Sep 7, 2026Updated last month
- Type class derivation for services, not data☆40Feb 10, 2025Updated last year
- Miniature Quill implementation for Benchmarking and Study☆18Jan 11, 2023Updated 3 years ago
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 5 years ago