Rankings
Badges
/
flaviodemoura
Rankings
Badges
Overview
Ranks
Repositories
Languages
Flávio Leonardo Cavalcanti de Moura
@flaviodemoura
Refresh
Open GitHub
🇧🇷 Brasil
Universidade de Brasília
Profile age: almost 11 years
Updated 6 days ago
46 followers • 29 following
Contacts
flaviomoura@unb.br
http://flaviomoura.info
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
N/A
N/A
#297,990
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
MSNorm
1
0
updated almost 7 years ago • age over 7 years
Coq
50.9%
TeX
47.9%
Makefile
1.2%
lambdaEX
1
2
updated over 9 years ago • age almost 10 years
Coq
98.7%
Makefile
1.2%
Verilog
0.1%
subsexpl
0
2
updated over 5 years ago • age almost 8 years
OCaml
98.6%
Makefile
1.4%
Latest Updates
25 Oct 2025
Followers Count:
45
46
15 Jul 2025
Followers Count:
46
45
17 Jan 2025
First seen
Subscribe to flaviodemoura's GitHub rank updates in your messenger
WhatsApp
Telegram
