Explore projects
-
SHENGHAO Yuan / CertrBPF-JIT
GNU General Public License v2.0 or laterUpdated -
Updated
-
CHAVANON Clement / PfComp
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
CIDRE Public / koika-llr
GNU General Public License v3.0 or laterUpdated -
LECHENET Jean-Christophe / lDFS
MIT LicenseFormalization in Coq and Why3 of a theory about weak control dependence
Updated -
pred-tv / cohpred
GNU General Public License v3.0 or laterCoherent predicates: translation validation of properties of various types of predicates at runtime, interfacing with SMTCoq for validation of SMT unsatisfiability certificates.
Topics: CoqUpdated -
Updated
-
-
Vincent Tourneur / readline-ocaml
CeCILL Free Software License Agreement v2.0Updated -
Anselme / belenios-cai
GNU Affero General Public License v3.0Updated -
ANGELETTI Florian / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Updated
-
LECHENET Jean-Christophe / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
-
Updated
-
Updated