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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OAuth2 client library implemented in Scala using sttpβ80Dec 29, 2025Updated 4 months ago
- π£ A command line tool that can generate English verbal descriptions for Scala source files or snippets.β12Mar 5, 2018Updated 8 years ago
- Employ Scala for serverless applicationsβ71Updated this week
- A lightweight HTTP server for the Loom generation using Scalaβ11Feb 11, 2025Updated last year
- 100% non-blocking, Java NIO only( inspired by zio-nio) , JSON HTTP server based on Scala ZIO library. Everything including TLS encryptionβ¦β88Dec 21, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Monadic directed acyclic graph datastructures for Scalaβ14Feb 12, 2025Updated last year
- An Unexceptional IO type for Catsβ48Apr 17, 2018Updated 8 years ago
- Binary serialization library for Scalaβ60Nov 17, 2024Updated last year
- Cooperative multithreading as a pure monad transformerβ74Apr 7, 2026Updated 3 weeks ago
- Typeclass interfaces to access user-defined Scala annotationsβ24Feb 12, 2025Updated last year
- The pure testing library by scalaz.β89Nov 8, 2019Updated 6 years ago
- Principled, fast, typeclass derivation.β54Apr 22, 2026Updated last week
- Statically-checked string interpolation in Scalaβ252Jan 26, 2025Updated last year
- Optics experimentation for Dottyβ32Oct 24, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Declarative concurrency and stream processing library for Scalaβ215Updated this week
- Automatically parallelize your for-comprehensions at compile time.β134Sep 30, 2024Updated last year
- 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
- 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 4 years ago
- Dhall for Javaβ179Aug 15, 2024Updated last year
- Code for FP to the Min talk at Scala in the City Conference.β53Jun 13, 2020Updated 5 years ago
- Add the Datadog Java APM agent to your sbt projectβ14Updated this week
- Fast, secure JSON library with tight ZIO integration.β433Updated this week
- recursion schemes for cats; to iterate is human, to recurse, divineβ397Apr 12, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Mutation testing for Scalaβ209Updated this week
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.β41Nov 30, 2020Updated 5 years ago
- UUID V1, V6, V7 & TypeID generation with ZIOβ12Apr 23, 2026Updated last week
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Nativeβ11Sep 12, 2018Updated 7 years ago
- β189Dec 11, 2024Updated last year
- Working with XML in Scalaβ23Feb 11, 2025Updated last year
- A no-frills SQL library for Scala 3β34Oct 10, 2024Updated last year
- Multisets for Scalaβ86Jul 23, 2021Updated 4 years ago
- A CLI-based launcher and general productivity tool.β108Feb 2, 2026Updated 2 months ago
- 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.
- Fast & Functional logger in Scalaβ313Aug 6, 2024Updated last year
- Get the name of a type at compile-time. Amaze your friends!β78Mar 31, 2023Updated 3 years ago
- A microlibrary for Scala encodings of higher-rank quantifiersβ58Apr 28, 2020Updated 6 years ago
- Compile time validation of literal values built from stringsβ113Apr 14, 2026Updated 2 weeks ago
- Library of utilities for tagless final encoded algebrasβ320Updated this week
- Source code of the examples shown in the video tutorialsβ21May 31, 2019Updated 6 years ago
- A new build tool for JVM languagesβ424Sep 3, 2024Updated last year