Block or report user
  • Inria
  • Paris

Popular repositories

  1. statsd

    Forked from etsy/statsd

    Simple daemon for easy stats aggregation


  2. brltty

    Forked from brltty/brltty

    BRLTTY is a background process (daemon) providing access to the Linux/Unix console (when in text mode) for a blind person using a refreshable braille display.


  3. edx-theme

    Forked from openfun/edx-theme


  4. fun-apps


  5. coccinelle

    Forked from coccinelle/coccinelle

    Release tracking for the Coccinelle project


  6. coq


369 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

May 2018

Created a pull request in ocaml/ocaml that received 22 comments

make distclean improvements

This PR contains two things: A commit to remove a forgotten configure-generated file when doing distclean A commit to distclean with git clean,…

+2 −0 22 comments

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