High-Integrity edition examples
GNAT examples
GtkAda examples
XMLAda examples
GLADE examples
ASIS examples