Batch Typesetter for TeXShop, with hyperlinked console.
TeXor is a batch Typesetter for TeXShop, with hyperlinked console.