A list of software the department has licenses for can be found in the Wiki.