Block or report user

Report or block michael-emmi

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@smackers @imdea-software

Popular repositories

  1. violat

    TypeScript 5 2

  2. ct-verif-images

    Shell 3

  3. imdea-controls

    A script to control the room temperature and blinds at the IMDEA Software Institute.

    Ruby 2 1

  4. bam-bam-boogieman

    Boogie AST Manipulator

    Ruby 2 3

  5. bibly

    Convert dblp keys into BibTeX entries.

    JavaScript 2

  6. ctverif

    JavaScript 2

1,138 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

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