GitHub repository: Consensys/highlightjs-dafny
Primary language: JavaScript
Description: Dafny language grammar definition for highlight.js