Progopedia - свободная (лицензия GNU FDL) энциклопедия языков программирования. Языки классифицированы по виду типизации (статическая, динамическая) и по парадигме программирования (аспектно-ориентированное программирование, процедурное, логическое и т.д.).