gravatar for FStarLang

FStarLang FStarLang on Github

global

Languages

10 total

LanguageReposStarsGlobal
all173,29716,921
F*52,7381
OCaml1396114
Emacs Lisp2781,035
Vim Script1242,371
Shell21734,196
TypeScript11757,258
Python211258,403
HTML1886,292
JavaScript17314,291
unknown111,899,070

Repos

17 total

RepoLanguageStarsRank
FStarLang/FStar on GithubFStarF*2,6961
FStarLang/karamel on GithubkaramelOCaml39686
FStarLang/fstar-mode.el on Githubfstar-mode.elEmacs Lisp671,619
FStarLang/steel on GithubsteelF*319
FStarLang/VimFStar on GithubVimFStarVim Script243,423
FStarLang/fstar-vscode-assistant on Githubfstar-vscode-assistantTypeScript1773,896
FStarLang/atom-fstar on Githubatom-fstarShell1155,220
FStarLang/fstar-layer on Githubfstar-layerEmacs Lisp115,383
FStarLang/PoP-in-FStar on GithubPoP-in-FStarPython11340,885
FStarLang/fstarlang.github.io on Githubfstarlang.github.ioHTML878,576

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-11-13T10:27:31.302427428Z Re-sync