Explore projects

https://aviz.gitlabpages.inria.fr/swimflow/

Headwork project

Demo website for Palmed. Intended to be publicly available.

Documentation for the Titanic cluster

ProVerif symbolic protocol verifier

This repository contains the material - slides and exercises - used for the the git beginner tutorial.

Web-based scalable visualization fo large document collections

A project providing digital recognition of handwritten documents using machine learning techniques.

Enseignement ENSTA Paris - Cours SIM203 - Initiation au calcul haute performance [2021-2022]

Correcting estimations of copepod volume from 2-dimensional images

Expose CDA validators generated by GOC as web-service.

PAX2GRAPHML :A python library for large-scale regulation network analysis using BIOPAX

Web-based map visualization on cluster-driven UHRWD.

An implementation of a causal and interactive model for a concurrent MiniOCaml

A project providing digital recognition of handwritten documents using machine learning techniques.

(SCRIPTA source code : https://gitlab.com/scripta/escriptorium)