Explore projects

Headwork project

Static analyzers for higher-order languages

Implementing symbolic data structure numeric grounding

A step by step variational solver mechanism

Source code of https://avatar-gallery.irisa.fr/ - Database interface of CharacterCreator and RocketBox avatars

One of the essential steps to apply any supervised deep learning algorithm is to design a reliable and comprehensive dataset. We explore the use of a synthetic generator of vulnerabilities for Web secruty flaws.

Basic system C/C++ interfaces to ease multi-language middleware integration

Scripts pour déployer un site statique à partir d'un site wordpress

Image processing encapsulation via web interface

A js-php-python tool to handle audio files.

MorphoNet is a novel concept of web-based morphodynamic browser to visualise and interact with complex datasets, with applications in research and teaching.

GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.

Habillage graphique Inria pour GLPI (plugin)