gravatar for FStarLang

FStarLang FStarLang on Github

global

Languages

10 total

LanguageReposStarsGlobal
all153,10316,584
F*42,5811
OCaml1380116
Emacs Lisp2751,019
Vim Script1222,476
Shell21633,347
TypeScript11167,684
HTML1879,081
JavaScript17296,937
Python12795,245
unknown111,745,866

Repos

15 total

RepoLanguageStarsRank
FStarLang/FStar on GithubFStarF*2,5591
FStarLang/karamel on GithubkaramelOCaml38087
FStarLang/fstar-mode.el on Githubfstar-mode.elEmacs Lisp661,555
FStarLang/VimFStar on GithubVimFStarVim Script223,589
FStarLang/steel on GithubsteelF*1911
FStarLang/fstar-vscode-assistant on Githubfstar-vscode-assistantTypeScript1186,043
FStarLang/atom-fstar on Githubatom-fstarShell1055,425
FStarLang/fstar-layer on Githubfstar-layerEmacs Lisp95,805
FStarLang/fstarlang.github.io on Githubfstarlang.github.ioHTML872,377
FStarLang/fstar-interactive on Githubfstar-interactiveJavaScript7377,538

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-04-17T04:14:30.494979816Z Re-sync