GitHub repository: rzk-lang/pygments-rzk
Primary language: Python
Description: Pygments highlighter for Rzk language (proof assistant for synthetic ∞-categories).