Bluespec SystemVerilog for the LaTeX listings package. This is the example from the repository, rebuilt on every push: Gcd.bsv typeset by demo.tex. The last section takes the language without the style, to show that the package paints nothing until it is asked to.