Human with a particular interest in strongly typed programming languages and the open-source, trying to have a meaningful impact 💚
Gitlab 🦊
•
Mail 📨
•
LinkedIn 🔗
Currently, I'm working on:
- on a simulator to help with the process of changing your car for a cleaner, less expensive solution.
- 🥥 EkoFest, a lightweight and efficient web app for calculating the carbon footprint of events.
I previously worked on:
- 🥥 EkoFest, a lightweight and efficient web app for calculating the carbon footprint of events.
- ⚖️ Catala, a programming language toolchain used to derive correct-by-construction and transparent implementations from legislative texts.
- 🌍 Nos Gestes Climat, the ADEME official carbon footprint simulator.