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 4 days ago
116 followers • 26 following
Contacts
zoe.paraskevopoulou@gmail.com
http://zoep.github.io
Organizations
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%
zoep.github.io
1
1
updated about 1 year ago • age about 11 years
HTML
75.6%
CSS
24.4%
rust-curve25519-fiat
0
0
updated about 6 years ago • age about 6 years
C
65.6%
Rust
34.4%
libra
0
0
updated about 6 years ago • age about 6 years
Rust
97.4%
HTML
1.1%
HCL
0.8%
Shell
0.5%
Dockerfile
0.2%
fiat-crypto
0
0
updated about 6 years ago • age over 6 years
Coq
71.0%
C
24.2%
Python
4.1%
Shell
0.3%
Makefile
0.3%
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
2023
hevm
2 PRs
+104
-96
Haskell
312
66
14
act
~26 PRs
+1,546
-1,723
Haskell
247
44
1
2022
hevm
~17 PRs
+131
-182
Haskell
312
66
14
act
1 PR
+653
-44
Haskell
247
44
1
2021
certicoq
1 PR
+211
-124
Rocq Prover
153
32
2
Show more
