gravatar for cryspen

cryspen cryspen on Github

global

Languages

5 total

LanguageReposStarsGlobal
all10164191,300
F*11104
C24920,686
Rust4532,585
unknown10-
HTML20-

Repos

10 total

RepoLanguageStarsRank
cryspen/bertie on GithubbertieF*1105
cryspen/libcrux on GithublibcruxC3829,433
cryspen/hacl-packages on Githubhacl-packagesC1170,932
cryspen/hpke-spec on Githubhpke-specRust373,295
cryspen/atlas on GithubatlasRust286,258
cryspen/.github on Github.githubunknown0-
cryspen/cryspen.github.io on Githubcryspen.github.ioHTML0-
cryspen/blog on GithubblogHTML0-
cryspen/utils on GithubutilsRust0-
cryspen/rust-core-spec on Githubrust-core-specRust0-

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-29T21:51:44.811877455Z Re-sync