http://gigapedia.com , для скачивания надо зарегистрироваться Для поиска по сайту выберите в окошке над поиском gigapedia, по умолчанию там поиск по google стоит
Гигапедия переехала на http://library.nu Пришлось регистрироваться заново, похоже, что старые аккаунты не сохранились. В целом интерфейс и поиск стали намного удобнее, чем раньше.