gravatar for arthurpaulino

arthurpaulino arthurpaulino on Github

global / brazil / brazil

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all27129226,0602,923985
Lean6723111
Python104687,388809271
JavaScript16327,33310,6072,588
unknown13401,97211,3022,882
Assembly1211,660342128
C10---
C++40---
SCSS10---
Java10---
TeX10---

Repos

27 total

RepoLanguageStarsRank
arthurpaulino/miraiml on GithubmiraimlPython27164,748
arthurpaulino/LeanMySQL on GithubLeanMySQLLean17150
arthurpaulino/NumLean on GithubNumLeanLean17149
arthurpaulino/lean2md on Githublean2mdPython16237,986
arthurpaulino/LeanREPL on GithubLeanREPLLean11205
arthurpaulino/FxyLang on GithubFxyLangLean11202
arthurpaulino/LeanMusic on GithubLeanMusicLean8275
arthurpaulino/viper on GithubviperLean8271
arthurpaulino/chrome-lean-unicode on Githubchrome-lean-unicodeJavaScript6398,730
arthurpaulino/minicurso-programa-sama-1 on Githubminicurso-programa-sama-1unknown3419,800

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-07T19:00:30.350262837Z Re-sync