Rankings
Badges
/
nikivazou
Rankings
Badges
Overview
Ranks
Repositories
Languages
Niki Vazou
@nikivazou
Refresh
Open GitHub
🇪🇸 Madrid
IMDEA
Profile age: over 14 years
Updated 6 days ago
313 followers • 23 following
Contacts
nikivazou@gmail.com
nikivazou.github.io
Organizations
Profile Overview
Global
Spain
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 4
Persona
Influencer
#194,491
#558,617
#30,859
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
presentations
45
1
updated 12 months ago • age almost 9 years
Haskell
100.0%
theorem-proving-template
32
1
updated about 7 years ago • age about 8 years
Haskell
100.0%
EquationalReasoningInLiquidHaskell
15
2
updated about 6 years ago • age almost 8 years
JavaScript
54.1%
TeX
26.6%
CSS
9.8%
Haskell
6.5%
HTML
3.0%
thesis
13
1
updated almost 9 years ago • age almost 9 years
TeX
99.8%
Makefile
0.1%
Haskell
0.1%
proof-combinators
12
3
updated over 7 years ago • age over 7 years
Haskell
100.0%
View all 10 repositories
Last Contributions
2025
liquidhaskell
2 PRs
+46
-21
Haskell
1,264
150
15
liquid-fixpoint
1 PR
+65
-3
Haskell
152
63
9
SIGPLAN.github.io
~6 PRs
+51
-0
HTML
12
49
plonk-constraints
1 PR
+23
-12
Haskell
0
0
2024
liquidhaskell
~6 PRs
+72
-3
Haskell
1,264
150
15
View all contributions
Latest Updates
02 Oct 2025
Followers Count:
314
313
18 Sep 2025
Followers Count:
313
314
20 Aug 2025
Followers Count:
310
313
06 Aug 2025
Followers Count:
309
310
23 Jul 2025
Followers Count:
308
309
06 Jan 2025
First seen
Subscribe to nikivazou's GitHub rank updates in your messenger
WhatsApp
Telegram