Explore projects

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.

Tools to check the accuracy of mathematical functions

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

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

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

Interface, control, and identification for neuroscience excitable experiments

Paper to add XOR and abelian group in ProVerif

Differential equations simulation representing Salmonella infection

Custom latex files

Seminar in Datamove team

LP-update policy and applications on multi-action RB

Bibliography collection

Implementing symbolic data structure numeric grounding