Build your web API on the type level.
☆161May 22, 2019Updated 7 years ago
Alternatives and similar repositories for typedapi
Users that are interested in typedapi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 7 years ago
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Apr 12, 2026Updated 6 months ago
- Transform and compose tagless final encoded algebras in scala☆93Jul 17, 2018Updated 8 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated 2 years ago
- skema morphisms☆88Sep 15, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- A cohesive & pragmatic framework of FP centric Scala libraries☆614Aug 13, 2019Updated 7 years ago
- A monad for resource acquisition and cleanup☆53Sep 12, 2018Updated 8 years ago
- Desugaring scala `for` without implicit `withFilter`s☆710May 7, 2024Updated 2 years ago
- Purely functional HTTP client☆177Mar 2, 2023Updated 3 years ago
- High-performance Arrow and Task in Scala☆239Sep 17, 2018Updated 8 years ago
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 8 years ago
- Describe HTTP endpoints in Scala and derive clients, servers, and documentation☆418Oct 21, 2026Updated last week
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆263May 25, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library of utilities for tagless final encoded algebras☆320Oct 21, 2026Updated last week
- Cats instances for fastparse☆18May 6, 2018Updated 8 years ago
- ☆114Mar 28, 2022Updated 4 years 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
- Finally Tagless Blocking Implementation☆92May 24, 2022Updated 4 years ago
- Proof of concept for a cats-like library built using Dotty features☆117Jun 1, 2024Updated 2 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 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.
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 6 years ago
- Seamless interop layer between cats and scalaz☆173Feb 26, 2021Updated 5 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆589Updated this week
- Operations for primitive and String singleton types☆163Aug 12, 2024Updated 2 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆72Jun 15, 2019Updated 7 years ago
- Automatic type class derivation for Cats☆545Updated this week
- A Future-free Fs2 native pure FP Redis client☆102Updated this week
- A STM implementation for Cats Effect☆148Jan 5, 2026Updated 9 months ago
- NewTypes for Scala with no runtime overhead☆541Feb 10, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Simple & Efficient data access for Scala and Scala.js☆496Oct 6, 2026Updated 3 weeks ago
- Iteratees for Cats☆184Aug 15, 2024Updated 2 years ago
- Cooperative multithreading as a pure monad transformer☆74Jul 13, 2026Updated 3 months ago
- ☆189Dec 11, 2024Updated last year
- 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
- Pure functional event sourcing runtime☆325Aug 13, 2024Updated 2 years ago
- A self documenting DSL built on http4s☆295Oct 21, 2026Updated last week