Zoe Paraskevopoulou

2025
hevm
1 PR +2-0
Haskell
313
68
15
act
2 PRs +86-10
Haskell
253
44
1
certicoq
1 PR +1-15,526
Rocq Prover
156
32
2
2024
hevm
3 PRs +222-65
Haskell
313
68
15
act
~7 PRs +3,996-1,491
Haskell
253
44
1

View all contributions

Latest Updates

08 Nov 2025
Followers Count:116 117
28 Aug 2025
Avatar:changed
30 Apr 2025
Company:Ethereum Foundation National Technical University of Athens
04 Jan 2025
First seen

Subscribe to zoep's GitHub rank updates in your messenger

WhatsApp Telegram

Zoe Paraskevopoulou

@zoep

Open GitHub

🇬🇷 Athens, Greece

National Technical University of Athens

Profile age: almost 14 years

Updated 5 days ago

117 followers • 26 following

Contacts

zoe.paraskevopoulou@gmail.com

http://zoep.github.io

Organizations

Profile Overview

Global Greece

Global Rank

Master 3

Persona

Influencer

#544,519

#529,534

#100,737

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

PL2

updated 7 days ago • age about 1 year

Rocq Prover96.5%

Dafny3.1%

Makefile0.5%

LazyOcaml

updated over 12 years ago • age over 12 years

OCaml100.0%

jebus

updated almost 12 years ago • age over 12 years

Haskell53.7%

TeX46.3%

CUTE-homework

updated almost 12 years ago • age almost 12 years

OCaml100.0%

AI_project1

updated over 12 years ago • age over 12 years

Haskell92.6%

Shell7.4%

View all 9 repositories

Last Contributions

2025
hevm
1 PR +2-0
Haskell
313
68
15
act
2 PRs +86-10
Haskell
253
44
1
certicoq
1 PR +1-15,526
Rocq Prover
156
32
2
2024
hevm
3 PRs +222-65
Haskell
313
68
15
act
~7 PRs +3,996-1,491
Haskell
253
44
1