Rankings
Badges
/
catalin-hritcu
Rankings
Badges
Overview
Ranks
Repositories
Languages
Catalin Hritcu
@catalin-hritcu
Refresh
Open GitHub
🇩🇪 Bochum, Germany
Max Planck Institute for Security and Privacy (MPI-SP)
Profile age: almost 12 years
Updated 10 days ago
136 followers • 261 following
Contacts
catalin.hritcu@gmail.com
https://catalin-hritcu.github.io
Organizations
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 4
Persona
Influencer
#800,079
#709,778
#83,349
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
fstar-course
12
2
updated about 6 years ago • age over 7 years
F*
82.4%
HTML
12.5%
Makefile
2.8%
CSS
2.4%
CSrankings
1
0
updated 10 months ago • age almost 6 years
Python
36.6%
HTML
32.0%
TypeScript
15.0%
JavaScript
14.5%
XQuery
2.0%
catalin-hritcu.github.io
0
1
updated 8 months ago • age almost 4 years
SMT
81.9%
HTML
13.3%
Coq
2.5%
JavaScript
1.3%
CSS
0.9%
Last Contributions
2025
SIGPLAN.github.io
1 PR
+5
-1
HTML
12
49
2024
SIGPLAN.github.io
3 PRs
+50
-5
HTML
12
49
2023
CSrankings
2 PRs
+4
-0
Python
2,943
3,692
2021
CSrankings
3 PRs
+5
-1
Python
2,943
3,692
FStar
1 PR
+5
-6
F*
2,899
244
78
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
135
136
04 Sep 2025
Followers Count:
137
135
Following Count:
260
261
21 Aug 2025
Followers Count:
135
137
Following Count:
259
260
07 Aug 2025
Following Count:
258
259
24 Jul 2025
Followers Count:
136
135
06 Jan 2025
First seen
Subscribe to catalin-hritcu's GitHub rank updates in your messenger
WhatsApp
Telegram
