Explore projects

Implements a JavaScript JSON weak-syntax reader and writer.

Python class to help calling VARNA [API page] https://htyao.gitlab.io/varna-api/

Towards a reproducible research study with Guix

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

Coq formalization of Tes.

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

Implementing symbolic data structure numeric grounding

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment

Project for StarPU website

Towards a reproducible research study

Differential equations simulation representing Salmonella infection

Vers une étude scientifique expérimentale reproductible avec Guix

An experimental study based on the test_FEMBEM solver

Python Semantics in Skel

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

Paper to add XOR and abelian group in ProVerif