gravatar for michael-emmi

michael-emmi michael-emmi on Github

global / united states / new york

Languages

10 total

Repos

26 total

RepoLanguageStarsRank
michael-emmi/ct-fuzz on Githubct-fuzzC++894,827
michael-emmi/violat on GithubviolatTypeScript774,466
michael-emmi/ctverif on GithubctverifJavaScript5404,774
michael-emmi/bibly on GithubbiblyTypeScript588,082
michael-emmi/ct-verif-images on Githubct-verif-imagesShell490,198
michael-emmi/bam-bam-boogieman on Githubbam-bam-boogiemanBoogie45
michael-emmi/imdea-controls on Githubimdea-controlsRuby2131,149
michael-emmi/printlncs on GithubprintlncsJavaScript12,352,913
michael-emmi/2up on Github2upShell1270,027
michael-emmi/ipod-extraction on Githubipod-extractionRuby1267,489

Badges

Get your badge to use on GitHub or websites using the code below

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays developer's country rankings for all languages plus top two languages by stars

Preview

Locality

Displays developer's locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2022-12-02T23:28:59.780720597Z Re-sync