Proof of concept for a cats-like library built using Dotty features
☆117Jun 1, 2024Updated 2 years ago
Alternatives and similar repositories for spotted-leopards
Users that are interested in spotted-leopards are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- Finally Tagless Blocking Implementation☆92May 24, 2022Updated 4 years ago
- A purely functional rate limiter☆183Jun 23, 2025Updated last year
- functional tracing for cats☆340Updated this week
- Compile time validation of literal values built from strings☆113Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Apr 12, 2026Updated 5 months ago
- Library of utilities for tagless final encoded algebras☆320Updated this week
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- ☆188Dec 11, 2024Updated last year
- ☆10Aug 14, 2019Updated 7 years ago
- ☆30Apr 11, 2020Updated 6 years ago
- skema morphisms☆88Sep 15, 2025Updated last year
- Build your web API on the type level.☆161May 22, 2019Updated 7 years ago
- Desugaring scala `for` without implicit `withFilter`s☆710May 7, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fast & Functional logger in Scala☆311Aug 6, 2024Updated 2 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Jan 28, 2020Updated 6 years ago
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 6 years ago
- ☆114Mar 28, 2022Updated 4 years ago
- AWS scala native implementation☆23Updated this week
- Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar IP & network related d…☆232Jul 13, 2026Updated 2 months ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Aug 30, 2018Updated 8 years ago
- A STM implementation for Cats Effect☆148Jan 5, 2026Updated 8 months ago
- A case-insensitive string for Scala☆38Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A parsing library for the cats ecosystem☆245Sep 4, 2026Updated 2 weeks ago
- cats transformer type classes.☆307Updated this week
- A Future-free Fs2 native pure FP Redis client☆102Mar 5, 2026Updated 6 months ago
- Logging Tools For Interaction with cats-effect☆416Updated this week
- an implementation of Wadler's a prettier printer☆188Aug 21, 2026Updated 3 weeks ago
- Typeclass proposal for Dotty☆47Sep 15, 2018Updated 8 years ago
- Iteratees for Cats☆184Aug 15, 2024Updated 2 years ago
- Typelevel Brickstore☆54Feb 22, 2020Updated 6 years ago
- Compiler plugin for intuitive tagless final☆126Jul 30, 2024Updated 2 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.
- Release with confidence, state-of-the-art property testing for Scala.☆268Updated this week
- Specialized Monad Transformer instances for better performance☆11Mar 25, 2018Updated 8 years ago
- streaming data parsing and transformation library☆166Updated this week
- JDK 11+ http client implementation for http4s clients☆60Sep 8, 2026Updated last week
- A small library for converting between case classes.☆263Oct 18, 2023Updated 2 years ago
- A composable command-line parser for Scala.☆678Apr 8, 2026Updated 5 months ago
- Pleasant, yet principled Scala optics DSL☆196Oct 10, 2020Updated 5 years ago