Block or report user


@KULeuven-CS @GuardSquare @mull-project

Pinned repositories

  1. llvm-mirror/llvm

    Mirror of official llvm git repository located at Updated every five minutes.

    LLVM 1.9k 1k

  2. dotfiles

    ⚙ Dotfiles for Linux &macOS

    Perl 40 18

  3. LibEBC

    C++ Library for Embedded Bitcode

    C++ 17

  4. mull-project/mull

    Attempt to build a system for mutation testing on top of LLVM. Work in progress, as always.

    C++ 46 4

  5. InTeXration

    TeX Continuous Integration Service

    Python 14 4

  6. SORTES-DHCP-Relay

    Software for Real-Time and Embedded Systems

    C 5

924 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

February 2017


Joined the mull-project organization

12 contributions in private repositories Feb 1 – Feb 3

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