Block or report user

Report or block gasche

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@ocaml-batteries-team @ocaml

Popular repositories

  1. icfp2016-papers

    Link to preprints for ICFP'16 and co-located events

    142 23

  2. icfp2017-papers

    Link to preprints for ICFP'17 and colocated events

    141 23

  3. popl2016-papers

    Links to publicly available preprints for the POPL'16 conference

    120 17

  4. popl2017-papers

    Link to preprints for POPL'17 and co-located events

    100 16

  5. popl2018-papers

    Link to preprints for POPL'18 and colocated events

    84 14

  6. icfp2013-papers

    List of ICFP'13 accepted papers, with links to preprint or additional information when available

    70 17

1,347 contributions in the last year

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

Contribution activity

November 2018

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

otherlibs: Makefile with targets all, allopt, clean, partialclean

I frequently get (parallel) build failures due to wrong dependencies causing compilation failures in some otherlibs/ subdirectory. When that happen…

+155 −128 3 comments

Created an issue in zestedesavoir/zds-site that received 5 comments

Remarques sur les contributions mineures au code de zds

Salut à tous, J'ai fait trois PRs mineures au code de ZdS le mois dernier (du refactoring, à voir aussi comme de la réduction de dette technique), …


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