Rankings
Badges
/
matteobusi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Matteo Busi
@matteobusi
Refresh
Open GitHub
🇮🇹 Italy
Profile age: about 15 years
Updated 17 days ago
22 followers • 37 following
Contacts
matteobusi.github.io
Organizations
Profile Overview
Global
Italy
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 4
Persona
Influencer
#1,036,063
#1,990,775
#653,014
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
incremental-mincaml
7
0
updated over 4 years ago • age over 7 years
OCaml
89.0%
Python
9.5%
Makefile
1.4%
minrt
1
0
updated about 5 years ago • age about 5 years
OCaml
58.8%
Scheme
38.2%
Makefile
2.9%
strandsrocq
0
0
updated 9 months ago • age 9 months
Coq
100.0%
Last Contributions
2025
clean
1 PR
+10
-4
Lean
102
9
2024
sancus-website
1 PR
+18
-0
HTML
3
3
View all contributions
Latest Updates
02 Oct 2025
Avatar:
changed
Followers Count:
23
22
18 Sep 2025
Followers Count:
22
23
03 Sep 2025
Followers Count:
24
22
19 Jul 2025
Followers Count:
22
24
27 Jan 2025
First seen
Subscribe to matteobusi's GitHub rank updates in your messenger
WhatsApp
Telegram
