Both sites use Jetspeed v1.4, an open-source portal engine implemented in Java. Jetspeed provides powerful portal design tools and an ample portlet library. Those shopping for a portal vendor should definitely take a look at Jetspeed.