DmytroMitin / dotty-patchedLinks
Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
☆20Updated 2 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:
- A type-parametric unboxed Option type for Scala☆64Updated 4 years ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Bringing Spire to Dotty/Scala 3☆14Updated last year
- Cooperative multithreading as a pure monad transformer☆73Updated last week
- Effect Zoo for Scala☆42Updated 2 months ago
- Access Scala language features on the type-level☆31Updated last year
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆21Updated 5 months ago
- Over-Complicated Database Query using higher-kinded data☆35Updated 5 years ago
- ☆18Updated 2 years ago
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated last week
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- Performance focused interpolation☆32Updated last week
- One enum type class to rule them all☆29Updated last week
- ☆108Updated last year
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Updated 5 years ago
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆66Updated 3 years ago
- Derive Scala code for your HTTP API from swagger!☆38Updated last year
- Makes `A | Null` work with for-comprehensions☆23Updated last year
- Type class derivation for services, not data☆37Updated 8 months ago
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- ☆26Updated last year
- Unique Functional Values for Scala☆17Updated last year
- A macro-based library for writing efficient and readable null-safe code in Scala.☆43Updated 7 months ago
- Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom va…☆32Updated 3 years ago
- Configured derivation library for scala 3☆35Updated last year
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- Zero-dependency boilerplate-free tagged types for Scala☆37Updated 4 years ago
- A lightweight, simple and functional DSL library to work with XML in Scala with Cats☆61Updated 7 months ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆41Updated 4 years ago