Explore projects

Headwork project

Static analyzers for higher-order languages

Implements a macroscopic algorithmic ersatz of VSA some operations

Implementing symbolic data structure numeric grounding

Image processing encapsulation via web interface

A step by step variational solver mechanism

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

Ocaml library for grew

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

Laravel based web interface to run different GRS on a sentence

The Tabletop activites RPi software

Javascript and C/C++ server side node express utilities for web applications and services