https://www.facebook.com/dmitry.mitin

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

Outdated:

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"

2019 https://stepik.org/course/49181

2017 https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294