FStarLang/fstar-vscode-assistant
View on GitHubAn interactive mode for F* in VS Code
- Stars
- 27
- Forks
- 11
- Open beginner issues
- 0
- Indexed issues
- 16
- Dominant language
- TypeScript
- License
- No license data
- Last GitHub push
- Jun 4, 2026
- Latest indexed
- Sep 16, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
Outline is empty Open
FStarLang/fstar-vscode-assistant#10 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#14 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#15 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#25 · 0 comments · 0 reactions · 0 assignees ·
-
Add LSP-level tests Open
FStarLang/fstar-vscode-assistant#26 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#29 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#37 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#38 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#52 · 3 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#54 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#55 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#56 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#57 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#60 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#63 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-vscode-assistant#65 · 0 comments · 0 reactions · 0 assignees ·