Typst package to convert TextMate .tmLanguage JSON grammars into Sublime Text .sublime-syntax YAML for use with raw(syntaxes: ...).
#import "@local/textmate:0.1.0": to-sublime-syntax
#let grammar = json(bytes(read("rocq.tmLanguage.json")))
#let syntax = bytes(to-sublime-syntax(grammar))
#raw(read("theories/kalman.v"), lang: "rocq", syntaxes: syntax)