Block or report user



Popular repositories

  1. sf-notes

    Software Foundations notes

    Coq 2 1

  2. sf

    Russian translation of Pierce's Software Foundations

    Coq 2

  3. dnc

    F# 1

  4. arm-toolchain

    Yet another ARM GCC toolchain


  5. Russian-Armstrong-Erlang

    Forked from dyp2000/Russian-Armstrong-Erlang

    Совместный перевод книги Дж.Армстронга "Programming Erlang"


  6. pfds

    Forked from gogabr/pfds

    Russian translation of Okasaki's Purely Functional Data Structures


8 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January 2017

ymn has no activity yet for this period.

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