Mentions légales du service
ProVerif symbolic protocol verifier
Gathers technical materials to follow on what has been learnt and what is to be learnt
Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.
LP-update policy and applications on multi-action RB
Python class to help calling VARNA
[API page] https://amibio.gitlabpages.inria.fr/varna-api/
Implementing symbolic data structure numeric grounding
Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.
A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Itauto: an Extensible Intuitionistic SAT Solver
Project for StarPU website