Scala 3 to GLSL transpiler library
-
Updated
Sep 28, 2024 - Scala
#
scala3-metaprogramming
Here are 8 public repositories matching this topic...
Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
scala
compiler
metaprogramming
evaluation
macros
runtime-compilation
dotty
scala3
eval
compilation
scala-3
scala3-metaprogramming
-
Updated
Nov 2, 2022 - Scala
🔅🔮 Training library of matrices and vectors with mathematical operations using Scala3 compiletime
-
Updated
Sep 8, 2023 - Scala
A LL1 parser based with compile time capabilities on the Scall1on parser.
-
Updated
Jan 11, 2023 - Scala
JoinActors: Fair Join Pattern Matching for Actors
-
Updated
Jul 12, 2024 - Scala
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
dependent-types
workshop
first-order-logic
idris
workshop-materials
polymorphic-types
scala3
union-types
phantom-types
typelevel-programming
typed-lambda-calculus
polymorphic-functions
curry-howard-isomorphism
compile-time-meta-programming
dependent-type-theory
path-dependent
scala3-metaprogramming
type-programming
path-dependent-types
-
Updated
Oct 21, 2024 - Scala
Scala3泛化编程，参考Shapeless
-
Updated
Sep 15, 2024 - Scala
Improve this page
Add a description, image, and links to the scala3-metaprogramming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the scala3-metaprogramming topic, visit your repo's landing page and select "manage topics."