http://geoext.org/
GeoExt
A JavaScript framework that combines the GIS functionality of OpenLayers with all features of the ExtJS library
geoext
GeoExt 2 — JavaScript Toolkit for Rich Web Mapping Applications
GeoExt Mobile