An object-oriented, type safe, multi-threaded approach to computer algebra.
Contributions to GtkAda, an Ada bindings to GTK+ toolkit.
