GeoExt is a Javascript library providing the groundwork for creating web-mapping applications based on OpenLayers and Ext.