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 has been my favorite programming language since.

OCaml Libraries

Most of my development nowadays are done in OCaml. I wrote a few reusable libraries that you can find on my OCaml Libraries page.

Other languages

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