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 and less expensive solution.
- ๐๏ธ Publicodes, a declarative language for modeling complex business domains by breaking them down into simple elementary rules
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.