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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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☆42Mar 27, 2026Updated 2 weeks ago
- ☆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 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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 path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- A proof of concept for an efficient stock price file format based on Akka Streams and Scodec.☆20Jun 7, 2016Updated 9 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☆169Jan 26, 2025Updated last year
- Very Simple Example using ZIO + Quill☆17Aug 4, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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.☆107Apr 1, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 6 years ago
- Terminal UI observability and diagnostic tool for Scala applications☆106Jan 31, 2022Updated 4 years ago
- A Mill plugin that generates and SCIP index for your build.☆11Aug 26, 2025Updated 7 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Scala Quick API☆69May 3, 2022Updated 3 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Efficient diffing in Scala☆61Nov 4, 2025Updated 5 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
- ZIO wrapper for the Caffeine library : https://github.com/ben-manes/caffeine☆12Aug 15, 2024Updated last year
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Feb 28, 2023Updated 3 years ago