Scalacheck Arbitrary type class derivation using magnolia
☆10Jan 13, 2023Updated 3 years ago
Alternatives and similar repositories for scalacheck-magnolia
Users that are interested in scalacheck-magnolia are comparing it to the libraries listed below
Sorting:
- Automatic derivation of scalacheck Arbitrary instances for Scala 3.☆15Updated this week
- Recursion schemes for Circe☆21Jul 10, 2024Updated last year
- Making Slick more functional with cats-effect.☆75May 16, 2025Updated 9 months ago
- ☆33May 3, 2019Updated 6 years ago
- Keyboard firmware designed for the promicro☆10Jun 1, 2024Updated last year
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- Generation of arbitrary case classes / ADTs instances with scalacheck and shapeless☆238Aug 12, 2024Updated last year
- Simple database migration tool for Postgres with skunk on JVM and Native☆41Mar 2, 2026Updated last week
- ZIO wrapper for AWS S3 SDK async client☆11Feb 21, 2020Updated 6 years ago
- ☆10Jun 24, 2019Updated 6 years ago
- ☆10Mar 9, 2023Updated 3 years ago
- Splash screen for the Kakoune editor☆10Oct 21, 2025Updated 4 months ago
- Write events directly to an akka-persistence journal bypassing persistent-actor lifecycle overhead☆10Aug 24, 2018Updated 7 years ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Aug 4, 2025Updated 7 months ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- Type-safe general-cryptography library - https://jmcardon.github.io/tsec/☆12Jul 1, 2024Updated last year
- A vim mode for Haskell☆31Sep 4, 2014Updated 11 years ago
- Talk on folds & unfolds (and combinations) for general algebraic data types☆12Aug 6, 2013Updated 12 years ago
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- Nimrod/Nim wrapper for the GNU multiple precision arithmetic library☆11Apr 29, 2017Updated 8 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 5 months ago
- Semantic Versioning for Scala / SemVer for Scala☆11Feb 21, 2026Updated 2 weeks ago
- ☆12Feb 15, 2016Updated 10 years ago
- Pure-Scala CRDTs☆11Jan 8, 2015Updated 11 years ago
- ☆11Jan 28, 2024Updated 2 years ago
- An educational tool for providing a gentle introduction to Assembly☆10Mar 24, 2022Updated 3 years ago
- tool to control Kakoune editor from the command line☆13Jul 13, 2025Updated 7 months ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆112May 24, 2017Updated 8 years ago
- Kafka Streams for Scala. Integrates KafkaStreams with the cats-effect ecosystem☆87Jul 29, 2024Updated last year
- CircuitBreaker is used to provide stability and prevent cascading failures in distributed systems.☆49Sep 3, 2024Updated last year
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Nov 13, 2018Updated 7 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆11Feb 12, 2025Updated last year
- The Ancient Greek dictionary for Hunspell (grc_GR for Notepad++, Google Chrome, Vivaldi etc).☆13May 18, 2022Updated 3 years ago
- Typesafe, loggable, and DRY calculations for the less monadically inclined.☆13Nov 4, 2021Updated 4 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago