Explore projects

Generates a bibliography for our website.

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

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/

Implements a JavaScript JSON weak-syntax reader and writer.

Project moved to https://gitlab.com/ed-matisse/latex-template.

Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.