Pinned Loading

1. AbsInt/CompCert AbsInt/CompCert Public

   The CompCert formally-verified C compiler

   Rocq Prover 2.2k 254

2. ocaml/ocaml ocaml/ocaml Public

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

   OCaml 6.3k 1.2k

3. camlzip camlzip Public

   Reading and writing zip and gzip files from OCaml

   OCaml 44 32

4. cryptokit cryptokit Public

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

   C 106 27

5. coq2html coq2html Public

   An HTML documentation generator for Coq source files

   OCaml 30 11

6. secure-computing secure-computing Public

   Examples of computing over encrypted or private data

   OCaml 14