Skip to content
Avatar

Highlights

  • Pro
Block or Report

Block or report xavierleroy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. The CompCert formally-verified C compiler

    Coq 1.5k 190

  2. ocaml/ocaml Public

    The core OCaml system: compilers, runtime system, base libraries

    OCaml 4.2k 946

  3. camlzip Public

    Reading and writing zip and gzip files from OCaml

    OCaml 36 29

  4. cryptokit Public

    A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

    C 87 22

  5. coq2html Public

    An HTML documentation generator for Coq source files

    OCaml 24 7

  6. pringo Public

    A library of splittable pseudo-random number generators for OCaml

    OCaml 29 8

543 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to ocaml/ocaml, AbsInt/CompCert, xavierleroy/cryptokit and 25 other repositories

Contribution activity

January 2023

xavierleroy has no activity yet for this period.

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