En fait Tk pour Python fait quasiment partie des libs standard de Python. C'est assez "courant" en python de voir des GUIs faites avec.
(ca peux pas etre pire que ModelSim de toute maniere)