To probe what we can't prove, so the unprovable may become probable; testing for Scala
☆55Feb 11, 2025Updated last year
Alternatives and similar repositories for probably
Users that are interested in probably are comparing it to the libraries listed below
Sorting:
- OAuth2 client library implemented in Scala using sttp☆80Dec 29, 2025Updated 2 months ago
- 100% non-blocking, Java NIO only( inspired by zio-nio) , JSON HTTP server based on Scala ZIO library. Everything including TLS encryption…☆86Dec 21, 2023Updated 2 years ago
- Binary serialization library for Scala☆59Nov 17, 2024Updated last year
- Cooperative multithreading as a pure monad transformer☆73Feb 22, 2026Updated last week
- Principled, fast, typeclass derivation.☆54Updated this 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
- Optics experimentation for Dotty☆32Oct 24, 2021Updated 4 years ago
- The pure testing library by scalaz.☆89Nov 8, 2019Updated 6 years ago
- Employ Scala for serverless applications☆69Updated this week
- Declarative concurrency and stream processing library for Scala☆215Updated this week
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- A lightweight HTTP server for the Loom generation using Scala☆11Feb 11, 2025Updated last year
- Statically-checked string interpolation in Scala☆252Jan 26, 2025Updated last year
- Mutation testing for Scala☆205Updated this week
- Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom va…☆32Apr 29, 2022Updated 3 years ago
- Automatically parallelize your for-comprehensions at compile time.☆134Sep 30, 2024Updated last year
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 4 years ago
- Dhall for Java☆178Aug 15, 2024Updated last year
- ZIO-native utilities for making resilient distributed systems☆161Updated this week
- Code for FP to the Min talk at Scala in the City Conference.☆53Jun 13, 2020Updated 5 years ago
- Multisets for Scala☆86Jul 23, 2021Updated 4 years ago
- Fast, secure JSON library with tight ZIO integration.☆430Updated this week
- Add the Datadog Java APM agent to your sbt project☆14Feb 16, 2026Updated last week
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Apr 28, 2020Updated 5 years ago
- Programming is an exercise in linguistics; spice-up Scala types with Adjective.☆91Nov 14, 2020Updated 5 years ago
- case-classes with better binary compatibility story☆81Updated this week
- recursion schemes for cats; to iterate is human, to recurse, divine☆396Sep 8, 2025Updated 5 months ago
- ☆188Dec 11, 2024Updated last year
- Fast & Functional logger in Scala☆312Aug 6, 2024Updated last year
- A new build tool for JVM languages☆415Sep 3, 2024Updated last year
- Typesafe internationalization of strings in Scala☆18Feb 11, 2025Updated last year
- Effectful property testing built on ScalaCheck☆83Updated this week
- Random generator of test data in Scala based on Scalacheck and Magnolia☆26Apr 28, 2021Updated 4 years ago
- Make usage of Graal features easy and safe from Scala. Also features Scala-based React SSR.☆192Aug 21, 2024Updated last year
- Scala macros for compile-time generation of safe and ultra-fast JSON codecs + circe booster☆810Updated this week
- Compile time validation of literal values built from strings☆112Feb 22, 2026Updated last week
- Scala micro-library providing utilities for capturing implicits.☆18Sep 30, 2021Updated 4 years ago
- Get the name of a type at compile-time. Amaze your friends!☆78Mar 31, 2023Updated 2 years ago