Projects

A non exhaustive list of projects I'm involved with.

• DGNum, a students' association related to all things digital at ENS.
• Kadenios, a simple server to hold votes and surveys with various counting and voting methods.
• Metis, a calendar aggregator.
• Arkheon, a recorder of NixOS deployments.
• CORE-MATH, a library of fast and correctly rounded mathematical functions.
• loadcredential, a python package enabling easy integration with systemd's LoadCredential.