GitHub repository: GaloisInc/galois-vim-syntax
Primary language: Vim Script
Created: 2022-10-27T22:33:20Z
Description: Syntax highlighting support for Vim