Explore projects

The android app to control the LEDs.

Serveur photos du COF

Handling access to the Hack'ave using RFID tags.

Gestion simple de comptes communs

Submission for the programming project of the MPRI course "Proof of Programs".

Simple GStreamer HTTP live streaming from a pipeline description, forked from https://github.com/sdroege/http-launch.

Code for the LEDs installation at Nuit de la rue d'Ulm in 2013.

Le parolier de Vox Ernestorum, chorale geek d'Ulm

Exemple de projet Django, fait en séance « tuto » le 26/09/19

Fiches techniques du club bouffe

Code for the sensors for bird houses installed by Ecocampus in ENS.

A password manager for hackEns.

Site web de l'AMAP Légulm

Contains LaTeX and pdf files related to my internship at INRIA Montpellier.

Subject: Normalisation Procedures for Existential Rules that Preserve Chase Termination