FStarLang/fstar-mode.el
View on GitHubEmacs support for F*
- Stars
- 71
- Forks
- 19
- Open beginner issues
- 0
- Indexed issues
- 18
- Dominant language
- Emacs Lisp
- License
- Apache-2.0
- Last GitHub push
- Jun 25, 2025
- 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
-
FStarLang/fstar-mode.el#58 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#64 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#72 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#81 · 22 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#84 · 6 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#94 · 4 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#102 · 17 comments · 0 reactions · 0 assignees ·
-
enhancement
FStarLang/fstar-mode.el#107 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#113 · 6 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#117 · 6 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#124 · 1 comment · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#129 · 5 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#130 · 4 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#131 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#133 · 3 comments · 0 reactions · 0 assignees ·
-
elaborate trace mode Open
FStarLang/fstar-mode.el#134 · 2 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#141 · 0 comments · 0 reactions · 0 assignees ·
-
FStarLang/fstar-mode.el#144 · 5 comments · 0 reactions · 0 assignees ·