I am also involved in software development. Most of the projects can be found on my Github profile but the following three are the ones I regularly contribute to:

If you are interested in Prolog and OCaml, you might want to visit my Stack Overflow profile.

about me · research · publications · teaching · outreach · software · contact · home