Explore projects

Nagios Velvice Alert Panel

A CEGAR-based solver for maximum model counting

Python implementation of the BRAID model ("Bayesian word Recognition with Attention, Interference and Dynamics"). It is a probabilistic model of visual word processing, to study effects of visual attention.

Computer Names and IP Address Management

This project intends to set up the common portal for internally managing the data produced by the PermaFrance observatory

Tools to manipulate optical interferometry data