Explore projects
-
-
-
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Why3 / 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 -
-
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
coccinelle / 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 -
-
Updated
-
Updated
-
synchrone / Heptagon
GNU General Public License v3.0 onlyHeptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
Updated -
Updated
-
memcad / clangml
BSD 2-Clause "Simplified" LicenseUpdated -
MONTAGU Benoit / function_graphs
GNU General Public License v3.0 or laterAbstract domain for function graphs, and fixpoint solvers based on them
Updated -
Updated
-
Updated
-
math-comp / math-comp
CeCILL-B Free Software License AgreementGitLab mirror of https://github.com/math-comp/math-comp
Updated -
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated