Explore projects
-
memcad / clangml
BSD 2-Clause "Simplified" LicenseUpdated -
Thierry Martinez / clangml
BSD 2-Clause "Simplified" LicenseUpdated -
CHARGUERAUD Arthur / cfml2
Creative Commons Attribution 4.0 InternationalSeparation Logic with Characteristic Formulae Entirely within Coq
Updated -
Anselme / belenios-cai
GNU Affero General Public License v3.0Updated -
POTTIER Francois / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
Thierry Martinez / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
CIDRE Public / koika-llr
GNU General Public License v3.0 or laterUpdated -
Thierry Martinez / coq
GNU Lesser General Public License v2.1 onlyUpdated -
ROUSSELIN Pierre / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
-
Vincent Tourneur / readline-ocaml
CeCILL Free Software License Agreement v2.0Updated -
Updated
-
-
-
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
salto / ez dune describe
OtherUpdated -
-
Updated
-
Updated
-
Maxime Dénès / coq
GNU Lesser General Public License v2.1 onlyMirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated