Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
☆20Nov 2, 2022Updated 3 years ago
Alternatives and similar repositories for dotty-patched
Users that are interested in dotty-patched are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple encoding of refinement types in Scala 3☆23Jun 24, 2024Updated 2 years ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Aug 17, 2026Updated 2 months ago
- Generate type mappers for your own type class☆13Oct 8, 2026Updated 3 weeks ago
- ☆15Updated this week
- Script which performs download and initial setup of Cmder, Cygwin and several other packages☆10May 20, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆27Sep 30, 2026Updated 3 weeks ago
- Scala compile-time encoders for Spark☆27Feb 14, 2026Updated 8 months ago
- Model Context Protocol for Scala 3☆13Mar 10, 2026Updated 7 months ago
- Scala Quick API☆71May 3, 2022Updated 4 years ago
- zio-http wrapper for pac4j, security framework to protect your web applications☆11Jan 29, 2026Updated 9 months ago
- Simple Scala template with cross-version and multi-target compilation☆12Jun 16, 2023Updated 3 years ago
- Scala 3 run-time reflection library☆56Jun 16, 2025Updated last year
- A platform of libraries for Scala 3☆114Updated this week
- Bare Metal Modular Database☆64Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- The Scala programming language☆16Mar 31, 2023Updated 3 years ago
- Dotty Generic Derivation Examples☆28Feb 24, 2021Updated 5 years ago
- Typesafe wrapper for Apache Spark DataFrame API☆143Jan 24, 2026Updated 9 months ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆34Sep 9, 2025Updated last year
- A reimagined scala-pickling in the Scala 3 world☆74May 20, 2023Updated 3 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- Minimal, type-safe RPC Scala library.☆27Jun 14, 2024Updated 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.
- ☆13Oct 11, 2018Updated 8 years ago
- Durable monad for Scala with workflow engine☆23May 18, 2026Updated 5 months ago
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆49Dec 25, 2025Updated 10 months ago
- Type-safe, high performance, distributed Neural networks in Scala☆30Nov 20, 2023Updated 2 years ago
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆69Jul 8, 2022Updated 4 years ago
- A menagerie of macro utilities and extensions for Scala 3☆102Mar 7, 2025Updated last year
- ☆12Nov 2, 2024Updated last year
- A Scala 3 compiler plugin that enforces layered/onion architecture at compile time by validating package dependencies via @dependsOn anno…☆16Oct 13, 2026Updated 2 weeks ago
- ☆34Oct 19, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- ☆18Nov 11, 2024Updated last year
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- ☆10Aug 14, 2019Updated 7 years ago
- This library is intended to solve the use case of getting the erased types of a (generic) parameter. Something which was possible in Scal…☆13Oct 18, 2026Updated last week
- ☆12Nov 12, 2021Updated 4 years ago
- Effect Zoo for Scala☆41Jan 4, 2026Updated 9 months ago