gravatar for cryspen

cryspen cryspen on Github

global

Languages

5 total

LanguageReposStarsGlobal
all16254149,466
F*21124
C210313,024
Rust83911,906
unknown20-
HTML20-

Repos

16 total

RepoLanguageStarsRank
cryspen/bertie on GithubbertieF*1125
cryspen/libcrux on GithublibcruxC8816,700
cryspen/hpke-rs on Githubhpke-rsRust3119,117
cryspen/hacl-packages on Githubhacl-packagesC1561,243
cryspen/atlas on GithubatlasRust467,080
cryspen/hpke-spec on Githubhpke-specRust383,928
cryspen/libcrux-iot on Githublibcrux-iotRust1125,202
cryspen/.github on Github.githubunknown0-
cryspen/cryspen.github.io on Githubcryspen.github.ioHTML0-
cryspen/blog on GithubblogHTML0-

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-12T01:22:08.410724401Z Re-sync