Generic records for Scala
☆16Mar 7, 2022Updated 4 years ago
Alternatives and similar repositories for sager
Users that are interested in sager are comparing it to the libraries listed below
Sorting:
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- ☆12Jul 28, 2024Updated last year
- An sbt plugin to configure Java Flight Recorder☆10Jul 28, 2024Updated last year
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Mar 16, 2021Updated 5 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- ☆12Jul 28, 2017Updated 8 years ago
- Scala Native support for the TensorFlow C API on Linux and macOS☆41Updated this week
- ☆16Feb 10, 2025Updated last year
- Typesafe record types for Scala☆21Jan 26, 2025Updated last year
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 5 years ago
- Over-Complicated Database Query using higher-kinded data☆35Oct 30, 2020Updated 5 years ago
- Turn a normal resource into a pooled one.☆40Nov 23, 2022Updated 3 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated last month
- Simple Scala template with cross-version and multi-target compilation☆11Jun 16, 2023Updated 2 years ago
- ☆16Dec 31, 2020Updated 5 years ago
- Simple encoding of refinement types in Scala 3☆24Jun 24, 2024Updated last year
- A proof of concept for an efficient stock price file format based on Akka Streams and Scodec.☆20Jun 7, 2016Updated 9 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- A collection of Magnolia add-on modules☆182Feb 12, 2026Updated last month
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆68Jul 8, 2022Updated 3 years ago
- Statically-checked inline matching on regular expressions in Scala☆168Jan 26, 2025Updated last year
- Very Simple Example using ZIO + Quill☆17Aug 4, 2024Updated last year
- Sample app to use ZIO and DIstage with a playframework application☆11Jan 15, 2021Updated 5 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79May 25, 2022Updated 3 years ago
- ☆189Dec 11, 2024Updated last year
- EasyMock mocking for ZIO☆10Aug 10, 2020Updated 5 years ago
- Recursion schemes for Circe☆21Jul 10, 2024Updated last year
- (b2s) Scala compiler plugin for a better default toString.☆107Mar 4, 2026Updated 2 weeks ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Terminal UI observability and diagnostic tool for Scala applications☆106Jan 31, 2022Updated 4 years ago
- Scala Quick API☆69May 3, 2022Updated 3 years ago
- A Mill plugin that generates and SCIP index for your build.☆11Aug 26, 2025Updated 6 months ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Efficient diffing in Scala☆61Nov 4, 2025Updated 4 months ago
- add-on to Akka Typed that tracks effects for use with Session Types☆51Jul 15, 2021Updated 4 years ago
- A disciplined way to purely functional domain models in Scala☆29Aug 12, 2024Updated last year
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Feb 28, 2023Updated 3 years ago
- ZIO wrapper for the Caffeine library : https://github.com/ben-manes/caffeine☆12Aug 15, 2024Updated last year