Explore projects

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

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

Itauto: an Extensible Intuitionistic SAT Solver

ProVerif symbolic protocol verifier

notes de thèse pour Pierre-Antoine Rault - dernier rapport

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

Diaporama pour la rencontre sur les logiciels libres de recherche

Python class to help calling VARNA [API page] https://amibio.gitlabpages.inria.fr/varna-api/

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

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

Implements a JavaScript JSON weak-syntax reader and writer.

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.

Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.