Software Development

I have been enjoying programming since 2000. My first development environment was Delphi, which I fondly remember. It provided a complete and enjoyable development experience, with a nice online community. Delphi was ideal for discovering computer programming: procedural and object-oriented styles, high-level GUI frameworks, and 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 OCaml, which has been my favorite programming language since.

OCaml Libraries

Most of my development nowadays is done in OCaml. I have written 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 things in Coq.