gravatar for jamesbornholt

jamesbornholt jamesbornholt on Github

global / united states / austin

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all16112267,97636,833180
SMT1372471
Racket229210751
Python328135,44118,57299
Rust1536,0674,81823
HTML24174,02417,10085
Go2475,3269,13247
JavaScript12831,76392,952635
PHP11333,79322,753123
unknown211,673,429105,608662
TeX1145,3215,75934

Repos

16 total

RepoLanguageStarsRank
jamesbornholt/z3-ios on Githubz3-iosSMT3726
jamesbornholt/ocelot on GithubocelotRacket28284
jamesbornholt/plotty on GithubplottyPython22214,410
jamesbornholt/rustsat on GithubrustsatRust562,329
jamesbornholt/homepage on GithubhomepageHTML3230,799
jamesbornholt/mipso on GithubmipsoGo3168,793
jamesbornholt/topauthors on GithubtopauthorsPython3945,959
jamesbornholt/quivela on GithubquivelaPython3942,949
jamesbornholt/sympro-ui on Githubsympro-uiJavaScript21,221,040
jamesbornholt/election2010results on Githubelection2010resultsPHP1697,247

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-11-05T10:34:23.473282091Z Re-sync