Human with a particular interest in strongly typed programming languages and the open-source, trying to have a meaningful impact π
Gitlab π¦
β’
Mail π¨
β’
LinkedIn π
Tip
I'm available to work on a new project, so don't hesitate to contact me if you're interested.
Currently, I'm doing voluntary work on:
- ποΈ Publicodes, a declarative language for modeling complex business domains by breaking them down into simple elementary rules.
- π₯₯ EkoFest, a lightweight and efficient web app for calculating the carbon footprint of events.
I previously worked on:
- βοΈ 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.