gravatar for project-everest

project-everest project-everest on Github

global

Languages

9 total

LanguageReposStarsGlobal
all1595652,137
F*54553
F#127096
Shell21965,321
HTML21257,726
Solidity1113,302
OCaml1101,576
C11358,593
Nix116,944
unknown10-

Repos

15 total

RepoLanguageStarsRank
project-everest/vale on GithubvaleF#27094
project-everest/everparse on GithubeverparseF*2513
project-everest/everest on GithubeverestShell1935,520
project-everest/mitls-fstar on Githubmitls-fstarF*1734
project-everest/QUIC-FStar on GithubQUIC-FStarF*1813
project-everest/everquic-crypto on Githubeverquic-cryptoF*1319
project-everest/project-everest.github.io on Githubproject-everest.github.ioHTML1254,971
project-everest/ethereum-star on Githubethereum-starSolidity114,451
project-everest/MLCrypto on GithubMLCryptoOCaml103,081
project-everest/everest-ci on Githubeverest-ciShell3148,345

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-15T09:52:00.977558201Z Re-sync