GitHub repository: rudi/promela-mode
Primary language: Emacs Lisp
Description: Major mode for editing PROMELA program files