gravatar for ropas

ropas ropas on Github

global

Languages

4 total

LanguageReposStarsGlobal
all745389,291
TypeScript13107,325
OCaml2121326
Coq122189
C30-

Repos

7 total

RepoLanguageStarsRank
ropas/pytea on GithubpyteaTypeScript3108,254
ropas/sparrow on GithubsparrowOCaml120313
ropas/zooberry on GithubzooberryCoq22236
ropas/ssft19-ai on Githubssft19-aiOCaml110,764
ropas/ssft19-sparrow on Githubssft19-sparrowC0-
ropas/PLDI2020_242_artifact_publication on GithubPLDI2020_242_artifact_publicationC0-
ropas/PLDI2020_AE on GithubPLDI2020_AEC0-

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-02T12:52:39.667916746Z Re-sync