GitHub repository: verus-lang/verus-mode.el
Primary language: Emacs Lisp
Description: Support for Verus programming in Emacs