Software development

I enjoy programming since 2000. My first development environment was Delphi, which I fondly remember. A complete and enjoyable development experience, with a nice online community. It was 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.