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 11 days ago
136 followers • 261 following
Contacts
catalin.hritcu@gmail.com
https://catalin-hritcu.github.io
Organizations
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%
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
2020
CSrankings
3 PRs
+4
-2
Python
2,943
3,692
FStar
3 PRs
+188
-186
F*
2,899
244
78
2019
CSrankings
1 PR
+2
-2
Python
2,943
3,692
FStar
~20 PRs
+130
-125
F*
2,899
244
78
opam-repository
2 PRs
+52
-1
552
1,201
Show more
