GitHub repository: tamarin-prover/editors
Primary language: Vim script
Created: 2018-09-25T07:39:34Z
Description: Repository for text editor syntax highlighting