Open source contributions

[active] GNU Compiler Collection (website, contributions)

I've been interested in compilers for more than 20 years ago, and I started contributing to GCC in 2006. After a 13 year hiatus, I'm contributing again since 2024 and I'm loving it.

[active] aerc (website, contributions)

I discovered this awesome mail client (yaaay terminal!) in 2025 and have been using it since then. I stumbled across a bunch of "paper cuts" in the IMAP implementation, that I'm trying to fix one by one.

[inactive] cppcheck (website, contributions)

I find static code analysis tools super useful, and cppcheck had the advantage of being OK in terms of capabilities and open source (and contributing to it on weekends between family stuff was easier than doing, say, GCC work). I tried to help make it better between 2011 and 2021.

[inactive] servo (website, contributions)

I contributed to this project mostly because I wanted to do a bit of Rust with a very limited time, and was interested in the mission (and also curious about how browsers are built). I contributed a few patches between 2015 and 2018.

[inactive] rustc (website, contributions)

Out of my interest for Rust and my frustration of not having time to work on GCC, I contributed 3 trivial patches between 2016 and 2018.

[inactive] KDE

I contributed as simartin 20 years ago, and did not find any easy way to find all I did in a single place...