Block or report user

Organizations

@spsc

Popular repositories

  1. agda-simple-scp

    A simple supercompiler formally verified in Agda

    13 Coq

  2. agda-miscellanea

    Experiments with Agda

    6 Agda

  3. staged-mrsc-agda

    Staged multi-result supercompilation (a model in Agda)

    6 Agda

  4. agda-samples

    A collection of samples in Agda

    3 Agda

  5. agda-Ramsey-theorem

    Intuitionistic Ramsey theorem (a proof in Agda)

    3 Agda

  6. mrsc-trs

    Domain-specific supercompilation for transition systems (based on the MRSC toolkit).

    2 Scala

78 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

October 1, 2016

sergei-romanenko has no activity yet for this period.

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