Technical Articles
Opinions
News
Projects

Projects

To be written. One day.

Hi, I’m lthms, and this is my humble corner of the Internet. You are very welcome here! If you are interested in functional programming, formal verification, or free software projects in the making, you may even enjoy your stay!

This website has been generated using a collection of awesome free software projects. You can have a look at the source of this website or how it is being generated, and if you run into an error, feel free to shoot me a friendly email.