Block or report user

Popular repositories

  1. llvmvf

    LLVM Verification Framework

    Haskell 6 1

  2. descartes

    descartes: the cartesian hoare logic prover

    Java 5 1

  3. session-types-agda

    Session Types in Agda


  4. smtlib

    SMT-Lib v2 Tools for Haskell and Agda

    SMT 2

  5. poet

    POET (Partial Order Exploration Tools)

    C 2

  6. parsersharing

    An Haskell General Parsing Library for Sharing

    Haskell 1

170 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

January - February 2018

marcelosousa has no activity yet for this period.

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