GitHub repository: FStarLang/atom-fstar
Primary language: Shell
Description: Syntax highlighting for F* in Atom Editor