Explore projects

Binary analysis program. Looks at a CFG and analyzes its bits.

Adaptive Grid Refinement In Fortran

Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Project for StarPU website

Differential equations simulation representing Salmonella infection

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

Gathers technical materials to follow on what has been learnt and what is to be learnt

Implementing symbolic data structure numeric grounding

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Generates a bibliography for our website.

Python Semantics in Skel

ProVerif symbolic protocol verifier