Projects in Awesome Lists tagged with scala3-metaprogramming
A curated list of projects in awesome lists tagged with scala3-metaprogramming .
https://github.com/dmytromitin/dotty-patched
Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
compilation compiler dotty eval evaluation macros metaprogramming runtime-compilation scala scala-3 scala3 scala3-metaprogramming
Last synced: 02 Jan 2025
https://github.com/encalmo/lens
Library for Scala > 3.6.2 providing Lens[R,V] typeclass derivation
lenses scala scala3 scala3-metaprogramming
Last synced: 22 Mar 2025
https://github.com/scalalandio/chimney-macro-commons
Macro utilities that Chimney is build upon
macros scala scala-macros scala2 scala3-metaprogramming
Last synced: 13 Apr 2025
https://github.com/kacperfkorban/macaroni
Common Scala 3 macro utils
macros scala scala3 scala3-metaprogramming
Last synced: 17 Jun 2025
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
