gravatar for MathiasVP

MathiasVP MathiasVP on Github

global / ireland / cork

Languages

6 total

LanguageReposStarsGlobalCountryLocality
all15175194,94548020
JavaScript110240,78611213
C++43934,841744
Coq31328911
Idris1914911
Haskell584,557223
Standard ML1431211

Repos

15 total

RepoLanguageStarsRank
MathiasVP/CS on GithubCSJavaScript10250,038
MathiasVP/Hook on GithubHookC++3051,860
MathiasVP/Parse on GithubParseC++9125,435
MathiasVP/ni-formal-gc on Githubni-formal-gcCoq9544
MathiasVP/idris-regex on Githubidris-regexIdris9219
MathiasVP/Z on GithubZHaskell511,945
MathiasVP/Alpha on GithubAlphaStandard ML4427
MathiasVP/lattice on GithublatticeCoq4907
MathiasVP/syntax-checker-checker on Githubsyntax-checker-checkerHaskell149,594
MathiasVP/attempt-to-apply-non-procedure on Githubattempt-to-apply-non-procedureHaskell149,536

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-10-26T06:42:55.011063671Z Re-sync