GitHub repository: kkpan11/userDefinedLanguages
Primary language: Lean
Description: Notepad++ User Defined Languages Collection