Block or report user
  • Joined on Oct 21, 2012


@ocsigen @Cumulus @herd

Popular repositories

  1. cervoise

    A toy language based on LLVM that implements the System Fω type-system

    9 OCaml

  2. ocaml-monomorphic

    A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

    8 OCaml

  3. why3

    An unofficial mirror of Why3 (

    6 Coq

  4. ocamldap

    Ocamldap is an implementation of the Light Weight Directory Access Protocol (Devel branch)

    4 OCaml

  5. ocaml-monad-exn

    Exceptions monads for OCaml

    3 OCaml

  6. coq-playground

    Playing with Coq…

    3 Coq

222 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

September 2016

Created 1 repository

Created a pull request in ocaml/opam-repository that received 10 comments

Add LLVM 3.9


10 comments +193 −0

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