Languages
10 total
Repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
FStar | F* | 2,559 | 1 | |
karamel | OCaml | 380 | 87 | |
fstar-mode.el | Emacs Lisp | 66 | 1,555 | |
VimFStar | Vim Script | 22 | 3,589 | |
steel | F* | 19 | 11 | |
fstar-vscode-assistant | TypeScript | 11 | 86,043 | |
atom-fstar | Shell | 10 | 55,425 | |
fstar-layer | Emacs Lisp | 9 | 5,805 | |
fstarlang.github.io | HTML | 8 | 72,377 | |
fstar-interactive | JavaScript | 7 | 377,538 |
Badges
Get your badge to use on GitHub or websites using the code below
Global
Displays global rankings for all languages plus top two languages by stars
Preview
Last updated: 2024-04-17T04:14:30.494979816Z Re-sync