The followings are some of my open source projects. Here are only minimal presentations; more information can be obtained clicking on their name (to search in the archives for news about them).


A contest management system (that is, the software that manages a programming contest, from the submission of solution, to the grading and the ranking), built with the IOI in mind, but general enough for many programming contests.

See the CMS homepage or the sources at GitHub.

Pydoc checker

A tool to dynamically verify that the type annotations in a Python program are correct.

Sources on GitHub.


A dependencies analyzer for Python.

Sources on GitHub.


A GUI to write commutative diagrams in PGF/TikZ, obtaining a more pleasant output than with XY‑Pic.

Download latest version here, or the sources on github.