You can find librettos and synopses in the Fine Arts Library's collections, eBooks, and on dozens of web sites. Below are just a few to get you started. Another great source for librettos is booklets included with CDs of operas in the Fine Arts Library.
The University of Kentucky Libraries uses the Library of Congress Classification System for call numbers. Librettos can be found under ML50 and then alphabetical by composer. Collections of librettos can be found under ML48 and ML49. Check the Reference section, too, for librettos with IPA. You can browse the shelves or search by call number in InfoKat Discovery.
Browse librettos by call number (ML48-ML50) in InfoKat Discovery.
The Little Fine Arts Library Reference section holds Leyerle's publications of librettos, which are sometimes referred to as the "Castel IPA books." Below are a few of the titles in this series:
Libretto Index contains links to hundreds of digitized libretti from VnF's Gallica, Libretti d'opera Italiani, Bayerischen Staatsbibliotek, and others. Some dead links.