Explore projects

Program verifier for Scala. Documentation, sources on GitHub

Préparation du modèle (template) Ubuntu destiné à VDI VMware Horizon.

Applying the ETFL framework to the CHO GEM

Python script that automatically creates bibliographic records, holdings, and items in Alma from MARCXML notices exported from Infoscience (EPFL).

Efficient localization and navigation in cluttered environments with a team of robots

Code for "Data-driven Feedback Linearization in the Koopman Observable Manifold"

A test project for... Tests!