GitHub repository: CoffeeIO/TypesetBot
Primary language: JavaScript
Description: TypesetBot; bringing TeX level typesetting to the web