Algotype.js A JavaScript library for easier typesetting of algorithms in HTML pages. Documentation is here.