Explore projects

Source for the page https://paperman.name/semigroup

Création participative de robots avec et par des enfants

Analysing video of learning activities using machine learning

Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.

Static analyzers for higher-order languages

Implementing symbolic data structure numeric grounding