emilerolley / sustainable-computing Goto Github PK

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 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.