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
AUXify -- library for metaprogramming (introducing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax) https://github.com/DmytroMitin/AUXify
2nd training on Shapeless (2020) https://www.facebook.com/events/201770184407910/
Training on macros (2020) https://www.facebook.com/events/219678969175044/
Training on Shapeless and type-level programming in Scala in Kyiv, Ukraine (2020) https://dou.ua/calendar/31318/
MOOC "Introduction to programming with dependent types in Scala"
This user hasn’t posted yet.