Block or report user

Organizations

@standardml

Popular repositories

  1. System-T

    Formalisation of Goedel's System T in Coq

    Coq 14 1

  2. smbt

    SMackage Build Tool

    Standard ML 7 4

  3. ssml

    Forked from gian/ssml

    Sub-standard ML

    Standard ML 3

  4. Refocusing

    A formalisation of the refocusing transformation by Danvy et al. in Coq

    Coq 2 1

  5. uri

    URI parsing, printing and quoting for SML

    Standard ML 2

  6. esml

    Experiments with ML-like languages

    Standard ML 2

3 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January - May 2018

finrod has no activity yet for this period.

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