DmytroMitin / dotty-patchedView external linksLinks
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
Sorting:
- Simple encoding of refinement types in Scala 3☆24Jun 24, 2024Updated last year
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Jul 4, 2020Updated 5 years ago
- Generate type mappers for your own type class☆13May 11, 2023Updated 2 years ago
- Scala 3 run-time reflection library☆55Jun 16, 2025Updated 8 months ago
- Scala compile-time encoders for Spark☆26Feb 8, 2026Updated last week
- The Scala programming language☆16Mar 31, 2023Updated 2 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆24Jan 23, 2026Updated 3 weeks ago
- SHAPE/S∀F ∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- Bridging Large Language Models with Scala 3 Functions☆11Aug 31, 2024Updated last year
- Minimal, type-safe RPC Scala library.☆27Jun 14, 2024Updated last year
- Typesafe wrapper for Apache Spark DataFrame API☆144Jan 24, 2026Updated 3 weeks ago
- Scala Quick API☆69May 3, 2022Updated 3 years ago
- Simple Scala template with cross-version and multi-target compilation☆11Jun 16, 2023Updated 2 years ago
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆17Updated this week
- This library is intended to solve the use case of getting the erased types of a (generic) parameter. Something which was possible in Scal…☆11Updated this week
- Type-safe, high performance, distributed Neural networks in Scala☆29Nov 20, 2023Updated 2 years ago
- A scala 3 tree explorer for the reflect module☆53Nov 3, 2024Updated last year
- A reimagined scala-pickling in the Scala 3 world☆72May 20, 2023Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Feb 5, 2026Updated last week
- ☆12Nov 12, 2021Updated 4 years ago
- ☆13Oct 11, 2018Updated 7 years ago
- Scala embedded universal probabilistic programming language☆11Apr 15, 2021Updated 4 years ago
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- An sbt plugin to organize your build using plain Scala files☆30Mar 19, 2023Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- GraalVM native-image as a docker container☆13Oct 11, 2018Updated 7 years ago
- ☆14Updated this week
- ☆14Oct 9, 2019Updated 6 years ago
- ☆34Oct 19, 2023Updated 2 years ago
- A menagerie of macro utilities and extensions for Scala 3☆101Mar 7, 2025Updated 11 months ago
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆16Jan 2, 2022Updated 4 years ago
- ☆10Aug 14, 2019Updated 6 years ago
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- Light Colorscheme for IntelliJ IDEA☆14Jul 28, 2023Updated 2 years ago
- A type-parametric unboxed Option type for Scala☆64Oct 10, 2021Updated 4 years ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated last year
- Table utils, one line CSV imports - a table is a Iterator (or iterable) of a `Named Tuple` or `Product`☆43Feb 3, 2026Updated 2 weeks ago
- A platform of libraries for Scala 3☆108Updated this week