☆23Mar 5, 2018Updated 8 years ago
Alternatives and similar repositories for free-tagless-compare-pres
Users that are interested in free-tagless-compare-pres are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 11, 2018Updated 7 years ago
- Learn distributed systems in Scala using ZIO and Maelstrom☆17Oct 19, 2025Updated 6 months ago
- Play JSON Reads/Writes instances for refined types☆25Apr 19, 2026Updated 2 weeks ago
- Demo code for my "Farewell Any => Unit, welcome Akka Typed!" talk☆10May 16, 2018Updated 7 years ago
- Code examples for Underscore's Advanced Scala course☆53Jun 9, 2016Updated 9 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.
- SBT AutoPlugin to add build information to reference.conf☆15Feb 14, 2018Updated 8 years ago
- Wiki☆12Sep 28, 2015Updated 10 years ago
- A type-safe abstraction for platform-independent file system paths.☆25Apr 23, 2021Updated 5 years ago
- ☆12Jul 28, 2017Updated 8 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Sample code for my blog series about Caliban☆18Sep 28, 2023Updated 2 years ago
- ☆14Aug 4, 2016Updated 9 years ago
- Scala data validation library☆30Aug 14, 2016Updated 9 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 7 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.
- Cats Bifunctor IO☆80Jan 18, 2019Updated 7 years ago
- Akka streams support for json☆11Sep 3, 2024Updated last year
- Source code for the Interpreters workshop at Scala Exchange 2015.☆27Dec 12, 2015Updated 10 years ago
- ☆29Dec 31, 2018Updated 7 years ago
- A Sample Scala 3 / Quarkus application with Kafka, persistence and tests.☆36Jan 14, 2026Updated 3 months ago
- A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !☆14May 5, 2024Updated 2 years ago
- Shapeless generic instances for Scrooge types☆14Feb 16, 2018Updated 8 years ago
- Prototype library for Go-like channels in Scala 3 / ZIO 2☆13Mar 26, 2026Updated last month
- A sbt plugin to switch project in a snappy way⚡️☆36Nov 23, 2020Updated 5 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.
- ☆17Dec 2, 2016Updated 9 years ago
- ☆16Oct 16, 2019Updated 6 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆15Mar 17, 2018Updated 8 years ago
- Pure-Scala CRDTs☆11Jan 8, 2015Updated 11 years ago
- 📚 A collection of resources about normalization-by-evaluation☆29Jul 29, 2025Updated 9 months ago
- A subprocess interface for Scala☆97Sep 16, 2015Updated 10 years ago
- ☆17Aug 8, 2019Updated 6 years ago
- Kotlin recursion schemes with Arrow☆22Jan 25, 2019Updated 7 years ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆41Nov 30, 2020Updated 5 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.
- ☆17Feb 5, 2015Updated 11 years ago
- Error handling with union types in Dotty☆16May 15, 2020Updated 5 years ago
- A simple example of how to use Leex and Yecc☆13Jan 19, 2016Updated 10 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- JSON Web Token (JWT) Scala implementation☆38May 2, 2021Updated 5 years ago
- ☆12May 22, 2023Updated 2 years ago
- One enum type class to rule them all☆30Updated this week