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.