Rankings
Badges
/
zoep
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zoe Paraskevopoulou
@zoep
Refresh
Open GitHub
🇬🇷 Athens, Greece
National Technical University of Athens
Profile age: over 13 years
Updated 3 days ago
116 followers • 26 following
Contacts
zoe.paraskevopoulou@gmail.com
http://zoep.github.io
Organizations
Profile Overview
Global
Greece
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
#559,242
#518,564
#100,325
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
PL2
8
9
updated 3 months ago • age 11 months
Rocq Prover
59.2%
Haskell
32.6%
Yacc
3.5%
Rust
2.7%
Logos
1.9%
LazyOcaml
5
1
updated over 12 years ago • age over 12 years
OCaml
100.0%
jebus
5
2
updated over 11 years ago • age about 12 years
Haskell
53.7%
TeX
46.3%
CUTE-homework
4
3
updated almost 12 years ago • age almost 12 years
OCaml
100.0%
AI_project1
2
0
updated over 12 years ago • age over 12 years
Haskell
92.6%
Shell
7.4%
View all 9 repositories
Last Contributions
2025
hevm
1 PR
+2
-0
Haskell
312
66
14
act
2 PRs
+86
-10
Haskell
247
44
1
certicoq
1 PR
+1
-15,526
Rocq Prover
153
32
2
2024
hevm
3 PRs
+222
-65
Haskell
312
66
14
act
~7 PRs
+3,996
-1,491
Haskell
247
44
1
View all contributions
Latest Updates
28 Aug 2025
Avatar:
changed
Starred Repositories Count:
100
101
02 Jul 2025
Starred Repositories Count:
99
100
Followers Count:
115
116
03 Jun 2025
Starred Repositories Count:
98
99
Followers Count:
114
115
15 May 2025
Followers Count:
115
114
30 Apr 2025
Company:
Ethereum Foundation
National Technical University of Athens
Pronouns:
she/her
Followers Count:
113
115
04 Jan 2025
First seen
Subscribe to zoep's GitHub rank updates in your messenger
WhatsApp
Telegram
