Hacker News new | ask | show | jobs
by zelphirkalt 1919 days ago
Although at that point one could also make use of the excellent pygments library from Python, to truly have no JS, if that was the point. It is used from inside many other languages' tools as well.