gravatar for hazelgrove

hazelgrove hazelgrove on Github

global

Languages

10 total

LanguageReposStarsGlobal
all511,06044,319
OCaml469456
Reason428121
Agda84959
TeX20223,808
Jupyter Notebook14124,136
JavaScript24466,227
unknown84319,781
HTML22382,927
C10-
TypeScript10-

Repos

51 total

RepoLanguageStarsRank
hazelgrove/hazel on GithubhazelOCaml65953
hazelgrove/tylr on GithubtylrReason26222
hazelgrove/HZ on GithubHZOCaml291,274
hazelgrove/hazelnut-dynamics-agda on Githubhazelnut-dynamics-agdaAgda20136
hazelgrove/agda-popl17 on Githubagda-popl17Agda16171
hazelgrove/diy-hazelnut on Githubdiy-hazelnutReason16173
hazelgrove/livelits-tyde on Githublivelits-tydeTeX611,099
hazelgrove/hazelnut-dynamics-paper on Githubhazelnut-dynamics-paperTeX513,456
hazelgrove/hazelnut-livelits-agda on Githubhazelnut-livelits-agdaAgda5456
hazelgrove/environment on GithubenvironmentJupyter Notebook4120,375

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-22T19:22:45.281555426Z Re-sync