Explore projects

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

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

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

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

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

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

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/

Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics

web frontend for overleaf

Read power consumption values from omegawatt's wattmetre devices

The Walshaw graph collection extracted from the DIMACS'10 collection.

Voxelize is a command line and python library to plot surfaces and curves solutions of polynomial equations and inequalities, using internally compressed sparse fiber to encode boxes and polynomials.

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.