Object/Pattern Detection using a Marked Point Process

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

Simple experimental campaign workflow

Notes de cours pour "Résolution des grands systèmes linéaires creux", cours de L3.

A library to build experimental frameworks on multiple platforms

SOFA plugin to track the surface of non-rigid objects using RGB-D camera.

Documentation of the Grew software

HIPAR's source code and experimental data

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Dijkstra monads and effect observations

Towards a lightweight ParaView alternative.