Pinned Loading

1. AbsInt/CompCert AbsInt/CompCert Public

   The CompCert formally-verified C compiler

   Rocq Prover 2k 239

2. ocaml/ocaml ocaml/ocaml Public

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

   OCaml 6k 1.2k

3. camlzip camlzip Public

   Reading and writing zip and gzip files from OCaml

   OCaml 42 32

4. cryptokit cryptokit Public

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

   C 103 26

5. coq2html coq2html Public

   An HTML documentation generator for Coq source files

   OCaml 31 11

6. pringo pringo Public

   A library of splittable pseudo-random number generators for OCaml

   OCaml 35 8