GitHub repository: sysfce2/notepadpp_userDefinedLanguages
Primary language: Lean
Description: Notepad++ User Defined Languages Collection