General-purpose literate programming engine
