FStarLang/FStar
View on GitHubA Proof-oriented Programming Language
- Stars
- 3.1k
- Forks
- 266
- Open beginner issues
- 0
- Indexed issues
- 517
- Avg merge
- 21h 1m
- Merged PRs (30d)
- 54
- Dominant language
- F*
- License
- Apache-2.0
- Last GitHub push
- Sep 14, 2026
- Latest indexed
- Sep 16, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue
-
component/typechecker kind/enhancement
FStarLang/FStar#64 · 2 comments · 0 reactions · 0 assignees ·
-
component/typechecker kind/bug
FStarLang/FStar#121 · 9 comments · 0 reactions · 0 assignees ·
-
component/examples kind/discussion
FStarLang/FStar#360 · 27 comments · 6 reactions · 2 assignees ·
-
kind/enhancement
FStarLang/FStar#496 · 10 comments · 0 reactions · 1 assignee ·
-
area/usability component/inference component/typechecker kind/bug
FStarLang/FStar#522 · 2 comments · 0 reactions · 1 assignee ·
-
component/libraries kind/enhancement
FStarLang/FStar#548 · 0 comments · 0 reactions · 0 assignees ·
-
component/libraries kind/discussion kind/enhancement kind/meta-issue
FStarLang/FStar#551 · 5 comments · 0 reactions · 0 assignees ·
-
kind/bug priority/high
FStarLang/FStar#571 · 2 comments · 0 reactions · 0 assignees ·
-
kind/bug
FStarLang/FStar#578 · 4 comments · 0 reactions · 0 assignees ·
-
component/extraction kind/discussion
FStarLang/FStar#588 · 1 comment · 0 reactions · 0 assignees ·
-
good first issue kind/bug
FStarLang/FStar#610 · 3 comments · 0 reactions · 1 assignee ·
-
area/usability kind/meta-issue
FStarLang/FStar#614 · 16 comments · 3 reactions · 0 assignees ·
-
Syntax reference Openarea/syntax component/documentation kind/enhancement priority/low status/needs-input
FStarLang/FStar#680 · 4 comments · 0 reactions · 0 assignees ·
-
area/syntax component/typechecker kind/enhancement priority/high status/needs-input
FStarLang/FStar#681 · 16 comments · 0 reactions · 0 assignees ·
-
area/proof-assistant component/typechecker kind/bug priority/high status/needs-implementation
FStarLang/FStar#682 · 3 comments · 0 reactions · 0 assignees ·
-
area/usability component/libraries kind/discussion status/needs-input
FStarLang/FStar#687 · 5 comments · 1 reaction · 0 assignees ·
-
component/extraction kind/enhancement kind/meta-issue priority/low status/needs-input
FStarLang/FStar#732 · 4 comments · 0 reactions · 0 assignees ·
-
component/language-design kind/enhancement priority/low status/needs-input
FStarLang/FStar#737 · 0 comments · 0 reactions · 0 assignees ·
-
area/error-messages component/libraries kind/question priority/high status/needs-input
FStarLang/FStar#749 · 4 comments · 0 reactions · 0 assignees ·
-
component/dm4free kind/enhancement
FStarLang/FStar#758 · 0 comments · 0 reactions · 0 assignees ·
-
area/fsharp-vs-ocaml component/build component/extraction good first issue kind/bug
FStarLang/FStar#793 · 8 comments · 0 reactions · 0 assignees ·
-
component/documentation
FStarLang/FStar#800 · 2 comments · 3 reactions · 0 assignees ·
-
kind/bug
FStarLang/FStar#812 · 1 comment · 0 reactions · 0 assignees ·
-
component/inference component/typechecker kind/enhancement milestone/everest-v1
FStarLang/FStar#815 · 4 comments · 0 reactions · 1 assignee ·
-
component/examples kind/meta-issue
FStarLang/FStar#827 · 2 comments · 0 reactions · 1 assignee ·
-
kind/enhancement
FStarLang/FStar#833 · 0 comments · 0 reactions · 1 assignee ·
-
FStarLang/FStar#838 · 1 comment · 0 reactions · 1 assignee ·
-
kind/enhancement milestone/everest-v1 priority/high
FStarLang/FStar#851 · 0 comments · 0 reactions · 2 assignees ·
-
area/usability component/libraries
FStarLang/FStar#860 · 5 comments · 0 reactions · 1 assignee ·
-
component/dm4free kind/enhancement
FStarLang/FStar#877 · 0 comments · 0 reactions · 0 assignees ·
-
kind/enhancement
FStarLang/FStar#884 · 0 comments · 0 reactions · 0 assignees ·
-
component/extraction kind/enhancement
FStarLang/FStar#924 · 0 comments · 0 reactions · 1 assignee ·
-
area/usability kind/enhancement
FStarLang/FStar#930 · 5 comments · 0 reactions · 0 assignees ·
-
Variable not found? Opencomponent/typechecker kind/bug kind/crash milestone/everest-v1
FStarLang/FStar#933 · 8 comments · 0 reactions · 1 assignee ·
-
area/usability kind/bug kind/meta-issue
FStarLang/FStar#959 · 5 comments · 0 reactions · 0 assignees ·
-
component/interactive-mode kind/bug status/needs-confirmation
FStarLang/FStar#965 · 10 comments · 0 reactions · 0 assignees ·
-
area/error-messages area/usability kind/enhancement
FStarLang/FStar#970 · 0 comments · 0 reactions · 0 assignees ·
-
kind/enhancement
FStarLang/FStar#972 · 1 comment · 1 reaction · 0 assignees ·
-
area/error-messages component/extraction good first issue
FStarLang/FStar#984 · 0 comments · 0 reactions · 0 assignees ·
-
kind/enhancement
FStarLang/FStar#994 · 0 comments · 1 reaction · 0 assignees ·
-
kind/enhancement
FStarLang/FStar#998 · 0 comments · 0 reactions · 0 assignees ·
-
component/interactive-mode kind/enhancement
FStarLang/FStar#999 · 5 comments · 0 reactions · 0 assignees ·
-
area/proof-assistant component/typechecker component/unifier good first issue kind/enhancement milestone/everest-v1
FStarLang/FStar#1007 · 3 comments · 0 reactions · 1 assignee ·
-
area/syntax good first issue kind/enhancement
FStarLang/FStar#1013 · 0 comments · 0 reactions · 0 assignees ·
-
area/usability component/extraction kind/enhancement
FStarLang/FStar#1016 · 2 comments · 0 reactions · 1 assignee ·
-
FStarLang/FStar#1018 · 5 comments · 0 reactions · 0 assignees ·
-
area/usability component/interactive-mode kind/enhancement
FStarLang/FStar#1033 · 3 comments · 0 reactions · 0 assignees ·
-
FStarLang/FStar#1035 · 1 comment · 0 reactions · 0 assignees ·
-
area/error-messages area/usability
FStarLang/FStar#1036 · 0 comments · 0 reactions · 0 assignees ·
-
area/error-messages area/usability kind/question
FStarLang/FStar#1037 · 0 comments · 0 reactions · 0 assignees ·