recursion schemes for cats; to iterate is human, to recurse, divine
☆396Apr 12, 2026Updated 6 months ago
Alternatives and similar repositories for droste
Users that are interested in droste are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library of utilities for tagless final encoded algebras☆320Oct 21, 2026Updated last week
- skema morphisms☆88Sep 15, 2025Updated last year
- Generalized recursion schemes and traversals for Scala.☆824Apr 1, 2020Updated 6 years ago
- Desugaring scala `for` without implicit `withFilter`s☆710May 7, 2024Updated 2 years ago
- cats transformer type classes.☆308Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- functional tracing for cats☆340Oct 17, 2026Updated last week
- 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
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- Finally Tagless Blocking Implementation☆92May 24, 2022Updated 4 years ago
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 7 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Jun 1, 2024Updated 2 years ago
- Build your web API on the type level.☆161May 22, 2019Updated 7 years ago
- Data structures for pure functional programming in Scala☆564Updated 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.
- better implicit errors for scala☆372Jan 16, 2026Updated 9 months ago
- Automatic type class derivation for Cats☆545Updated this week
- NewTypes for Scala with no runtime overhead☆541Feb 10, 2022Updated 4 years ago
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Mar 10, 2019Updated 7 years ago
- Transform and compose tagless final encoded algebras in scala☆93Jul 17, 2018Updated 8 years ago
- an implementation of Wadler's a prettier printer☆189Updated this week
- A purely functional rate limiter☆184Jun 23, 2025Updated last year
- A small companion to cats☆376Updated this week
- A data access library for Scala + Postgres.☆1,666Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆189Dec 11, 2024Updated last year
- Iteratees for Cats☆184Aug 15, 2024Updated 2 years ago
- A cohesive & pragmatic framework of FP centric Scala libraries☆614Aug 13, 2019Updated 7 years ago
- Logging Tools For Interaction with cats-effect☆416Updated this week
- Operations for primitive and String singleton types☆163Aug 12, 2024Updated 2 years ago
- Refinement types for Scala☆1,733Oct 16, 2026Updated 2 weeks ago
- Composable, purely functional healthchecks in Scala.☆185Sep 3, 2024Updated 2 years ago
- Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2☆335Sep 19, 2025Updated last year
- Declarative concurrency and stream processing library for Scala☆215Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Compiler plugin for making type lambdas (type projections) easier to write☆922Updated this week
- Flexible law checking for Scala☆338Updated this week
- A composable command-line parser for Scala.☆678Apr 8, 2026Updated 6 months ago
- Pleasant, yet principled Scala optics DSL☆196Oct 10, 2020Updated 6 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 8 years ago
- ☆114Mar 28, 2022Updated 4 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated 2 years ago