Rankings
Badges
/
fraware
Rankings
Badges
Overview
Ranks
Repositories
Languages
Matéo H. Petel
@fraware
Refresh
Open GitHub
null
Stanford
Profile age: about 3 years
Updated 2 days ago
47 followers • 1,342 following
Contacts
https://mateopetel.xyz/
in/mateo-petel
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
#276,254
#2,653,722
#290,099
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
leanverifier
66
3
updated 2 months ago • age 7 months
Lean
58.7%
Python
40.3%
HTML
0.6%
Dockerfile
0.5%
DeepLiDARPlanet
7
1
updated about 2 years ago • age about 2 years
Python
100.0%
chaoslabs
6
0
updated about 1 month ago • age 7 months
Go
75.6%
TypeScript
12.1%
Shell
5.7%
Makefile
3.5%
PowerShell
3.1%
Last Contributions
2025
provability-fabric
1 PR
+270
-68
Rust
8
1
pf-testbed
1 PR
+11,307
-717
Python
1
0
View all contributions
Latest Updates
29 Sep 2025
Followers Count:
44
47
13 Sep 2025
Followers Count:
39
44
29 Aug 2025
Organizations Count:
0
1
Followers Count:
37
39
15 Aug 2025
Followers Count:
34
37
14 Jul 2025
Followers Count:
28
34
03 Feb 2025
First seen
Subscribe to fraware's GitHub rank updates in your messenger
WhatsApp
Telegram
