Block or report user

Report or block ilya-klyuchnikov

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@facebook @facebookexperimental

Popular repositories

  1. tapl-scala

    Code from the book "Types and Programming Languages" in Scala

    Scala 123 16

  2. ttlite

    A SuperCompiler for Martin-Löf's Type Theory

    Scala 70 7

  3. lambdapi

    Dependently Typed Lambda Calculus in Haskell

    Haskell 62 9

  4. sc-mini

    SC Mini is a "minimal" positive supercompiler

    Haskell 29 13

  5. mrsc

    A toolkit for building multi-result supercompilers

    Scala 20 3

  6. henk

    Pure Type Systems for Functional Programming

    Haskell 19 2

110 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2019

ilya-klyuchnikov has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.