Rankings
Badges
/
collares
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mauricio Collares
@collares
Refresh
Open GitHub
🇧🇷 Brazil
Universidade de São Paulo
Profile age: over 15 years
Updated 14 days ago
36 followers • 5 following
Contacts
https://collares.org
Organizations
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 2
Persona
Contributor
#1,157,199
#143,911
#384,371
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
anuncieaqui-biblioteca
5
1
updated over 10 years ago • age over 10 years
C++
73.3%
TeX
22.7%
Makefile
2.5%
Python
0.8%
Shell
0.8%
extremal
1
0
updated 11 months ago • age about 1 year
Lean
100.0%
mathlib
0
0
updated over 3 years ago • age almost 4 years
Lean
99.9%
Python
0.1%
Shell
0.0%
Dockerfile
0.0%
Last Contributions
2025
nixpkgs
~25 PRs
+237
-228
Nix
22,215
17,058
pfr
2 PRs
+8
-4
Lean
189
41
5
SC-election-2025
1 PR
+1
-1
Haskell
26
364
import-graph
1 PR
+1
-1
Lean
15
13
2024
nixpkgs
~21 PRs
+32
-60
Nix
22,215
17,058
View all contributions
Latest Updates
11 Jun 2025
Company:
TU Graz
Universidade de São Paulo
Location:
Austria
Brazil
05 Jan 2025
First seen
Subscribe to collares's GitHub rank updates in your messenger
WhatsApp
Telegram
