Explore projects

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.

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.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.

Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.

A formally verified bootloader for RIOT OS (arm version)

Exploring vectorized transposition in CPU for small matrices