GitHub repository: mlr-msft/VimFStar
Primary language: VimL
Description: A Vim mode for FStar