Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
☆113May 24, 2017Updated 9 years ago
Alternatives and similar repositories for diesel
Users that are interested in diesel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Transform and compose tagless final encoded algebras in scala☆93Jul 17, 2018Updated 8 years ago
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- A cohesive & pragmatic framework of FP centric Scala libraries☆614Aug 13, 2019Updated 7 years ago
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 7 years ago
- This library has been succeeded by cats-tagless☆40Jul 4, 2018Updated 8 years ago
- 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.
- ☆114Mar 28, 2022Updated 4 years ago
- Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.☆14Oct 16, 2017Updated 9 years ago
- Extensible algebraic effects with handlers☆148Oct 28, 2026Updated last week
- Freek, a freaky simple Free to combine your DSL seamlessly☆197Jan 29, 2017Updated 9 years ago
- Spire's macros for zero-cost operator enrichment☆188Dec 17, 2019Updated 6 years ago
- Desugaring scala `for` without implicit `withFilter`s☆710May 7, 2024Updated 2 years ago
- ☆17May 18, 2019Updated 7 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆15Jul 7, 2017Updated 9 years ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 4 years ago
- 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 6 months ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated 2 years ago
- NewTypes for Scala with no runtime overhead☆541Feb 10, 2022Updated 4 years ago
- Build your web API on the type level.☆161May 22, 2019Updated 7 years ago
- An experiment running http4s as native image with Graal (+ Substrate)☆26Mar 30, 2019Updated 7 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- High-performance Arrow and Task in Scala☆239Sep 17, 2018Updated 8 years ago
- Over-Complicated Database Query using higher-kinded data☆35Oct 30, 2020Updated 6 years ago
- Type-safe general-cryptography library - https://jmcardon.github.io/tsec/☆350Nov 26, 2021Updated 4 years ago
- 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.
- The pure testing library by scalaz.☆88Nov 8, 2019Updated 6 years ago
- Library of utilities for tagless final encoded algebras☆320Updated this week
- End-to-end tracing system for Http4s☆110May 20, 2022Updated 4 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- A monad for resource acquisition and cleanup☆53Sep 12, 2018Updated 8 years ago
- Seamless interop layer between cats and scalaz☆173Feb 26, 2021Updated 5 years ago
- Generalized recursion schemes and traversals for Scala.☆824Apr 1, 2020Updated 6 years ago
- Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.☆108Aug 30, 2018Updated 8 years ago
- ☆189Dec 11, 2024Updated last year
- 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.
- Java NIO utilities for usage with Monix☆54Oct 14, 2021Updated 5 years ago
- A general monad for managing stacking effects☆204Dec 12, 2016Updated 9 years ago
- Simple & Efficient data access for Scala and Scala.js☆496Oct 6, 2026Updated 3 weeks ago
- configuration with less hassle☆69May 7, 2019Updated 7 years ago
- Eff monad for cats - https://atnos-org.github.io/eff☆589Updated this week
- Pleasant, yet principled Scala optics DSL☆196Oct 10, 2020Updated 6 years ago
- Random Data Generation and/or Property Testing in Scala & Scala.JS.☆191Updated this week