Explore projects
-
DAGAND Pierre-Evariste / Mlang
GNU General Public License v3.0 or laterCompiler for the M language of the French DGFiP
Updated -
CLEMENT Basile / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Maxime Dénès / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Pierre-Marie Pédrot / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
ANGELETTI Florian / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
ROUSSELIN Pierre / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
BOUR Frederic / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Frédéric Blanqui / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
LECHENET Jean-Christophe / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
SUSHI-public / FMH / mbty_std
MIT LicenseThings which probably ought to be in Coq's standard library
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
LECHENET Jean-Christophe / lDFS
MIT LicenseFormalization in Coq and Why3 of a theory about weak control dependence
Updated -
Updated
-
SUSHI-public / FMH / Kôika-SUSHI
GNU General Public License v3.0 or laterA rule-based HDL embedded within Coq
Updated -
CIDRE Public / koika-llr
GNU General Public License v3.0 or laterUpdated