MacTutor History of Mathematics: Proclus: Biography of this Neoplatonist thinker. Includes references and links to articles on related thinkers.
On the Sacred Art: Translation and commentary by Stephen Ronan of this fragment, preserved by Iamblichus.
On the Signs of Divine Possession: Translation and commentary by Stephen Ronan on this fragment preserved by the Byzantine Christian Neoplatonist, Michael Psellus.
Proclus Diadochus: Summary of Proclus' thought. in the context of the Neoplatonic tradition. Extensively documented.
Proclus Page: A comprehensive resource on this thinker. Includes online translations of several works, in addition to biographical and other information.
Quotations by Proclus: Collected quotations on science and mathematics.