cb372 / scala-typed-holesView external linksLinks
☆188Dec 11, 2024Updated last year
Alternatives and similar repositories for scala-typed-holes
Users that are interested in scala-typed-holes are comparing it to the libraries listed below
Sorting:
- better implicit errors for scala☆373Jan 16, 2026Updated last month
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Sep 8, 2025Updated 5 months ago
- Proof of concept for a cats-like library built using Dotty features☆117Jun 1, 2024Updated last year
- functional tracing for cats☆339Feb 11, 2026Updated last week
- ☆115Mar 28, 2022Updated 3 years ago
- skema morphisms☆89Sep 15, 2025Updated 5 months ago
- sbt plugin to automate Sonatype releases from GitHub Actions☆304Updated this week
- Statically-checked string interpolation in Scala☆251Jan 26, 2025Updated last year
- NewTypes for Scala with no runtime overhead☆543Feb 10, 2022Updated 4 years ago
- Dhall for Java☆178Aug 15, 2024Updated last year
- cats transformer type classes.☆310Updated this week
- Build your web API on the type level.☆160May 22, 2019Updated 6 years ago
- Desugaring scala `for` without implicit `withFilter`s☆713May 7, 2024Updated last year
- Get the name of a type at compile-time. Amaze your friends!☆78Mar 31, 2023Updated 2 years ago
- Library of utilities for tagless final encoded algebras☆323Feb 11, 2026Updated last week
- An Unexceptional IO type for Cats☆48Apr 17, 2018Updated 7 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆165Jan 28, 2020Updated 6 years ago
- Release with confidence, state-of-the-art property testing for Scala.☆267Dec 15, 2025Updated 2 months ago
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- A Future-free Fs2 native pure FP Redis client☆100Feb 4, 2026Updated last week
- Fast [co]product types with a clean syntax. For Cats & Scalaz.☆177Sep 24, 2019Updated 6 years ago
- A small library for converting between case classes.☆265Oct 18, 2023Updated 2 years ago
- A type-parametric unboxed Option type for Scala☆64Oct 10, 2021Updated 4 years ago
- Operations for primitive and String singleton types☆164Aug 12, 2024Updated last year
- Opinionated sbt plugin to release your artifacts early, both on merge and via git tag.☆91Feb 13, 2020Updated 6 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.☆73Jun 15, 2019Updated 6 years ago
- ☆84Mar 22, 2020Updated 5 years ago
- Scala Verify is a minimal testing framework for Scala. Trust, but verify.☆93Jan 28, 2026Updated 2 weeks ago
- Next Level MTL for Scala☆168Jan 7, 2023Updated 3 years ago
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 5 years ago
- Full program static analysis for Scala☆95Nov 5, 2021Updated 4 years ago
- coulomb: unit analysis for Scala☆151Jan 30, 2026Updated 2 weeks ago
- A composable command-line parser for Scala.☆669Feb 7, 2026Updated last week
- Cooperative multithreading as a pure monad transformer☆73Jan 25, 2026Updated 3 weeks ago
- Type-level & seamless command-line argument parsing for Scala☆306Feb 9, 2026Updated last week
- Functional Configurations for Scala☆409Updated this week
- Typechecked markdown documentation for Scala☆404Feb 3, 2026Updated 2 weeks ago
- The Scala 3 migration guide for everyone.☆237Oct 12, 2023Updated 2 years ago
- Seamless interop layer between cats and scalaz☆175Feb 26, 2021Updated 4 years ago