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