Skip to content
View muldrik's full-sized avatar

Block or report muldrik

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

Pinned Loading

  1. polymorphic-lambda-typechecker polymorphic-lambda-typechecker Public

    Haskell

  2. talk-chat-database-CLONE talk-chat-database-CLONE Public

    This is a clone from a small university project done for archiving purposes

    Kotlin

  3. toy-code-completion-plugin toy-code-completion-plugin Public

    Kotlin

  4. wiki-stat-CLONE wiki-stat-CLONE Public

    This is a clone from a small university project done for archiving purposes

    Kotlin

  5. kotlinc-shallowSize-plugin kotlinc-shallowSize-plugin Public

    Plugin to the Kotlin compiler to calculate combined field size of data classes in compile time

    Kotlin

  6. lean-stlc lean-stlc Public

    Typechecker for simpty typed lambda calculus in Lean4

    Lean 1