Software development

I enjoy programming since 2000 (I was 12). My first development environment was Delphi. It was a complete and enjoyable development experience, with a nice online community. Ideal for discovering computer programming: procedural and object-oriented styles, high-level GUI frameworks, low-level inline assembly.

After that I learned the C and C++ programming languages, mostly as I moved to Linux. In the early 2010s, I was introduced to the OCaml which is still my favorite programming language.


Most of my development nowadays are done in OCaml. You can find them on my OCaml Software page.

Other languages

I still enjoy doing low-level programming in C, and occasionally proving stuff in Coq.