Skip to content
Avatar
542 followers · 0 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

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. AbsInt/CompCert Public

    The CompCert formally-verified C compiler

    Coq 1.3k 161

  2. ocaml/ocaml Public

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

    OCaml 3.6k 837

  3. camlzip Public

    Reading and writing zip and gzip files from OCaml

    OCaml 29 25

  4. cryptokit Public

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

    C 71 19

  5. coq2html Public

    An HTML documentation generator for Coq source files

    OCaml 24 9

  6. pringo Public

    A library of splittable pseudo-random number generators for OCaml

    OCaml 27 5

525 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to ocaml/ocaml, ocaml-multicore/ocaml-multicore, AbsInt/CompCert and 5 other repositories

Contribution activity

January 2022

Created 1 commit in 1 repository

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

Fix a crash in Obj.reachable_words

This PR fixes a crash in Obj.reachable_words first observed in Multicore OCaml: ocaml-multicore/ocaml-multicore#824 . A marshaling operation can le…

+14 −0 • 2 comments
Reviewed 3 pull requests in 2 repositories
ocaml-multicore/ocaml-multicore 2 pull requests
ocaml/ocaml 1 pull request

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