GitHub repository: FStarLang/fstar-mode.el
Primary language: Emacs Lisp
Description: Emacs support for F*