Skip to content
View joroKr21's full-sized avatar
Working from home
Working from home


@scala @TU-Berlin-DIMA @typelevel @stratosphere @emmalanguage
Block or Report

Block or report joroKr21

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse


  1. typelevel/cats-tagless typelevel/cats-tagless Public

    Library of utilities for tagless final encoded algebras

    Scala 310 40

  2. typelevel/kittens typelevel/kittens Public

    Automatic type class derivation for Cats

    Scala 526 64

  3. typelevel/shapeless-3 typelevel/shapeless-3 Public

    Generic programming for Scala

    Scala 177 21

  4. milessabin/shapeless milessabin/shapeless Public

    Generic programming for Scala

    Scala 3.4k 530

  5. moia-oss/teleproto moia-oss/teleproto Public

    Scala macro based library to convert between Protocol Buffers based models and detached models

    Scala 28 5

  6. flink-shapeless flink-shapeless Public

    ADT support for Flink with Shapeless

    Scala 12 3