Popular repositories Loading

1. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1

2. bincat bincat Public

   Forked from airbus-seclab/bincat

   Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

   OCaml

3. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq

4. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml

5. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

6. fiat-crypto fiat-crypto Public

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Coq