scribble-bettergrammar-lib (racket): A Scribble library for typesetting grammars with annotations, in particular, differences between grammars (implementation only).
Keywords: bnf|grammar|scribble