Mentions légales du service
Generates a bibliography for our website.
Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.
Grid'5000 Cheat Sheet
Adaptive Grid Refinement In Fortran
A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
The AIDE project software development bundle
Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.
Concurrent Separation Logic for Multicore OCaml
Project for StarPU website
ProVerif symbolic protocol verifier
Itauto: an Extensible Intuitionistic SAT Solver
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.
notes de thèse pour Pierre-Antoine Rault - dernier rapport
Transmorpher is a software environment for defining and processing complex transformations of XML documents.
Python class to help calling VARNA
[API page] https://amibio.gitlabpages.inria.fr/varna-api/
Binary analysis program. Looks at a CFG and analyzes its bits.