Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
The CompCert formally-verified C compiler
The core OCaml system: compilers, runtime system, base libraries
Reading and writing zip and gzip files from OCaml
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
An HTML documentation generator for Coq source files
679 contributions in the last year
in private repositories
Sep 3 – Sep 20
Press h to open a hovercard with more details.