gravatar for project-everest

project-everest project-everest on Github

global

Languages

9 total

LanguageReposStarsGlobal
all1591050,459
F*54333
F#125196
Shell21935,023
HTML21252,949
OCaml1101,526
Solidity1103,169
C11336,415
unknown10-
Nix10-

Repos

15 total

RepoLanguageStarsRank
project-everest/vale on GithubvaleF#25195
project-everest/everparse on GithubeverparseF*2333
project-everest/everest on GithubeverestShell1905,212
project-everest/mitls-fstar on Githubmitls-fstarF*1724
project-everest/QUIC-FStar on GithubQUIC-FStarF*1713
project-everest/project-everest.github.io on Githubproject-everest.github.ioHTML1250,725
project-everest/everquic-crypto on Githubeverquic-cryptoF*1122
project-everest/ethereum-star on Githubethereum-starSolidity104,500
project-everest/MLCrypto on GithubMLCryptoOCaml102,991
project-everest/everest-ci on Githubeverest-ciShell3139,086

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-19T06:15:33.480493814Z Re-sync