gravatar for flypitch

flypitch flypitch on Github

global / united states / pittsburgh

Languages

3 total

LanguageReposStarsGlobalCountryLocality
all5113237,90033,320383
Lean11062043
TeX369,1531,33935
HTML11615,93342,057355

Repos

5 total

RepoLanguageStarsRank
flypitch/flypitch on GithubflypitchLean10616
flypitch/flypitch-notes on Githubflypitch-notesTeX226,445
flypitch/flypitch-itp-2019 on Githubflypitch-itp-2019TeX225,774
flypitch/flypitch-cpp-2020 on Githubflypitch-cpp-2020TeX225,300
flypitch/flypitch.github.io on Githubflypitch.github.ioHTML11,143,698

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 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-03-05T05:57:54.554510888Z Re-sync