Explore projects
-
rsdschool21 / website
Creative Commons Zero v1.0 UniversalUpdated -
This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/
Updated -
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
Updated -
Updated
-
sed-rennes / overleaf / web
GNU Affero General Public License v3.0web frontend for overleaf
Updated -
Read power consumption values from omegawatt's wattmetre devices
Updated -
-
MOROZ Guillaume / voxelize
GNU General Public License v2.0 or laterVoxelize 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.
Updated -
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.
Updated -
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.
Updated -
Armaël Guéneau / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
POTTIER Francois / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
WILLEMS Danny / visitors
GNU Lesser General Public License v2.1 onlyAn OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
Updated
-
GENESTIER Guillaume / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
Verifisc / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
A formally verified bootloader for RIOT OS (arm version)
Updated -
monitoring / verde
OtherUpdated -
Exploring vectorized transposition in CPU for small matrices
Updated