Educational software that uses GTK+