Repos by FStarLang
FStarLang / repos
15 repos
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | FStar | F* | 2,567 | 1 |
| karamel | OCaml | 384 | 88 |
| fstar-mode.el | Emacs Lisp | 66 | 1,564 |
| VimFStar | Vim Script | 22 | 3,593 |
| steel | F* | 19 | 11 |
| fstar-vscode-assistant | TypeScript | 11 | 86,836 |
| atom-fstar | Shell | 10 | 55,660 |
| fstar-layer | Emacs Lisp | 9 | 5,845 |
| fstarlang.github.io | HTML | 8 | 72,785 |
| fstar-interactive | JavaScript | 7 | 378,689 |