GitHub repository: Invisible-Rabbit-Hunter/vscode-language-fstar
Description: Visual Studio Code syntax highlighting for F*.