Block or report user

Report or block amaurremi

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. dot-calculus

    Adding extensions to DOT calculus

    Coq 7 4

  2. IDE

    Interprocedural Distributive Environment algorithm implementation

    Scala 4 1

  3. stringoid

    Retrieving URLs from APK files

    Scala 3

  4. Cogra

    Demonstrationg homogeneous coordinates transformations for a computer graphics

    Java 1

  5. correlated

    Improving precision of data-flow analysis in the presence of correlated method calls

    Java 1

  6. dot-plt-redex

    Formalizing DOT calculus (and extensions) in PLT Redex

    Racket 1

479 contributions in the last year

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

Contribution activity

October 2018

1 contribution in private repositories Oct 15

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