Rankings
Badges
/
andricicezar
Rankings
Badges
Overview
Ranks
Repositories
Languages
Cezar Andrici
@andricicezar
Refresh
Open GitHub
🇩🇪 Bochum, Germany
MPI-SP
Profile age: about 14 years
Updated 11 days ago
20 followers • 13 following
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 4
Persona
Influencer
#977,176
#1,044,954
#712,029
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
fstar-io
6
4
updated 7 days ago • age about 5 years
F*
97.4%
Makefile
2.0%
OCaml
0.5%
Shell
0.1%
Rocq Prover
0.1%
truesat
3
2
updated about 2 months ago • age over 4 years
C#
58.2%
Dafny
35.7%
Python
2.5%
Makefile
2.0%
C++
1.6%
fii-ip-lab6
Archived
0
0
updated over 7 years ago • age over 7 years
Java
100.0%
Last Contributions
2025
FStar
1 PR
+28
-0
F*
2,907
243
79
View all contributions
Latest Updates
24 Sep 2025
Followers Count:
22
20
27 Aug 2025
Followers Count:
23
22
28 Jul 2025
Followers Count:
21
23
14 Jul 2025
Followers Count:
20
21
18 Jan 2025
First seen
Subscribe to andricicezar's GitHub rank updates in your messenger
WhatsApp
Telegram
