gravatar for PatrickMassot

PatrickMassot PatrickMassot on Github

global / france / paris

Languages

7 total

LanguageReposStarsGlobalCountryLocality
all21309119,8102,653905
Lean131921211
Python211245,987912358
HTML15121,2271,873528
JavaScript20---
TeX10---
Lua10---
unknown10---

Repos

21 total

RepoLanguageStarsRank
PatrickMassot/leanblueprint on GithubleanblueprintPython11254,022
PatrickMassot/GlimpseOfLean on GithubGlimpseOfLeanLean7138
PatrickMassot/lean-verbose on Githublean-verboseLean5657
PatrickMassot/verbose-lean4 on Githubverbose-lean4Lean3785
PatrickMassot/lean-differential-topology on Githublean-differential-topologyLean10238
PatrickMassot/NNG4 on GithubNNG4Lean8269
PatrickMassot/tikzcdedit on GithubtikzcdeditHTML5112,987
PatrickMassot/lean4-game-server on Githublean4-game-serverLean5392
PatrickMassot/bigop on GithubbigopLean11,218
PatrickMassot/lean-scratchpad on Githublean-scratchpadLean11,203

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-04-17T22:22:20.769867387Z Re-sync