Explore projects

Mirror for CI/CD purposes only.

GitLab mirror of https://github.com/math-comp/math-comp

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Ocsigen based web-server for interaction with Arborator

ProVerif symbolic protocol verifier

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

Sources of the Abstract Categorial Development toolkit.

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Main tool with dep2pict executable

Resources for course MPRI 2-4 on functional programming and type systems.

Verifiable online voting system http://www.belenios.org

Abstract Requirement Extraction for Systems