Explore projects

Read power consumption values from omegawatt's wattmetre devices

Process mapping algorithms and tools for general topologies

The Gazelle GeoIP is a tool using Country / City database lookup per IP.

fullSAMriboswitch alignment attempts

Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.

Une description de la programmation en Coq pour un magazine grand public.

Eye-movement analysis with hidden semi-Markov models to segment phases in reading tasks

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

Metagrammar of Middle and Old French

This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots

Clone of WebNLG 2020 evaluation scripts.