Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

An open-source, customizable intermediate logic textbook

BNF Converter

Library of the ##dependent distributed research support group

Text-sources for the publication of Rubi in the Journal of Open-Source Software