GitHub repository: notepad-plus-plus/userDefinedLanguages
Primary language: Lean
Created: 2020-01-03T15:56:08Z
Description: Notepad++ User Defined Languages Collection