Extension of GtkAda GUI toolkit for binding together properties of objects, that is synchronizing properties so that when a property changes, bound properties automatically change accordingly. Supports one-directional and mutual bindings, bindings with transformation using generics. Automatically prevents infinite loops when properties are bound circularly. Greatly simplifies and increases reliability of GUI programming.

Ada library for creating grammar parsers and lexers. Supports Unicode and other kinds of streams. Powerful, flexible and extensible. Creates syntax tree. Has all standard parser constructs and various pre-defined more complex constructs (e.g. different kinds of repetition). These constructs have even variations for subtly different needs. Arbitrary reliable look-ahead. No distinction between parser and lexer. Object oriented.