Explore projects
-
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 -
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 -
-
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 -
salto / salto-IL
GNU Lesser General Public License v2.1 onlyUpdated -
POTTIER Francois / sek
GNU General Public License v3.0 or laterAn efficient OCaml implementation of ephemeral and persistent sequences
Updated -
-
MONTAGU Benoit / dmap
GNU Lesser General Public License v2.1 onlyA library that implements dependent (heterogeneous) immutable maps
Topics: OCamlUpdated -
MONTAGU Benoit / function_graphs
GNU General Public License v3.0 or laterUpdated -
Updated
-
SHENGHAO Yuan / CertrBPF-JIT
GNU General Public License v2.0 or laterUpdated -
-
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -