Programming is an exercise in linguistics; spice-up Scala types with Adjective.
☆91Nov 14, 2020Updated 5 years ago
Alternatives and similar repositories for Adjective
Users that are interested in Adjective are comparing it to the libraries listed below
Sorting:
- recursion schemes for cats; to iterate is human, to recurse, divine☆397Sep 8, 2025Updated 6 months ago
- Abstract Type Member Parallel Instances☆61Jun 19, 2020Updated 5 years ago
- Bank transfer examples using STM in both Haskell and Scala (zio-stm)☆17Dec 16, 2019Updated 6 years ago
- ☆14Oct 9, 2019Updated 6 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
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 6 years ago
- An sbt plugin for missinglink☆138Updated this week
- A tracing library for Cats and Http4s, tailored for Opentracing tracers like Datadog and Jaeger☆104Aug 30, 2021Updated 4 years ago
- A type-parametric unboxed Option type for Scala☆64Oct 10, 2021Updated 4 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
- Refinement types for Scala☆1,731Updated this week
- The pure testing library by scalaz.☆89Nov 8, 2019Updated 6 years ago
- Todo-Backend (https://www.todobackend.com/) implementation using ZIO, http4s, doobie and circe☆253Updated this week
- Functional Configurations for Scala☆407Updated this week
- Pure functional event sourcing runtime☆326Aug 13, 2024Updated last year
- A small library for converting between case classes.☆265Oct 18, 2023Updated 2 years ago
- Type-level API for standard collections☆33Jun 6, 2016Updated 9 years ago
- A utility harness for testing free programs (built on specs2)☆29May 4, 2021Updated 4 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Feb 23, 2022Updated 4 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Nov 21, 2020Updated 5 years ago
- Routing library for the Scala platform☆82May 4, 2022Updated 3 years ago
- NewTypes for Scala with no runtime overhead☆542Feb 10, 2022Updated 4 years ago
- Scala Test-State.☆143Aug 12, 2024Updated last year
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Apr 28, 2020Updated 5 years ago
- Library to support automatic labeling of ScalaCheck properties.☆67Nov 23, 2024Updated last year
- A CSV Handling Library for FP.☆90Jul 8, 2024Updated last year
- Golden testing for Circe☆97Mar 16, 2026Updated last week
- FP in Scala course, based on "Patterns in Types (Lambda Jam 2013)" and the Data61 fp-course☆20Nov 23, 2018Updated 7 years ago
- Macros to scrap ZIO boilerplate☆32Mar 15, 2020Updated 6 years ago
- Minimal HTTP server for Scala+ZIO☆100Feb 4, 2022Updated 4 years ago
- A new build tool for JVM languages☆420Sep 3, 2024Updated last year
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- Desugaring scala `for` without implicit `withFilter`s☆712May 7, 2024Updated last year
- ZIO Cheat Sheet☆336Apr 28, 2023Updated 2 years ago
- Dhall for Java☆178Aug 15, 2024Updated last year
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Feb 11, 2025Updated last year
- Code for FP to the Min talk at Scala in the City Conference.☆53Jun 13, 2020Updated 5 years ago
- Release with confidence, state-of-the-art property testing for Scala.☆267Dec 15, 2025Updated 3 months ago
- Plugin to block compilation when unapproved dependencies are used or code styling does not comply.☆47Aug 19, 2024Updated last year