Skip to content
View DmytroMitin's full-sized avatar
😎
everything is ok
😎
everything is ok
56 followers · 41 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
Block or Report

Block or report DmytroMitin

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DmytroMitin/README.md

Hi there 👋

Dmytro Mitin profile views

Pinned Loading

  1. AUXify AUXify Public

    Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

    Scala 28 3

  2. dotty-patched dotty-patched Public

    Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming

    Scala 19 1

  3. ProvingGround ProvingGround Public

    Forked from siddhartha-gadgil/ProvingGround

    Proving Ground: Tools for Automated Mathematics

    Jupyter Notebook 2 1

  4. shapeless shapeless Public

    Forked from milessabin/shapeless

    Generic programming for Scala

    Scala

  5. shapeless-applied shapeless-applied Public

    Forked from jeremyrsmith/shapeless-applied

    Library for type-level computations in shapeless

    Scala

  6. scala-macro-macros scala-macro-macros Public

    Macros expanding into macros

    Scala 1