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
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%
verified_string_matching
6
0
updated over 8 years ago • age about 9 years
Haskell
77.5%
Coq
22.5%
liquid-meta
5
0
updated over 3 years ago • age almost 4 years
Haskell
100.0%
OOPSLA18-artifact
2
0
updated over 7 years ago • age over 7 years
Haskell
91.7%
SMT
7.7%
Ruby
0.5%
Shell
0.1%
Data.Equations
2
1
updated almost 11 years ago • age almost 11 years
Haskell
100.0%
nikivazou.github.io
0
2
updated 11 months ago • age almost 9 years
JavaScript
96.2%
HTML
3.3%
CSS
0.5%
TeX
0.0%
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
SIGPLAN.github.io
3 PRs
+42
-75
HTML
12
49
plonk-constraints
1 PR
+95
-12
Haskell
0
0
2023
liquidhaskell
2 PRs
+7
-2
Haskell
1,264
150
15
haskellfoundation.github.io
~13 PRs
+61
-0
Nix
41
52
2022
static-analysis
1 PR
+11
-0
Rust
14,151
1,404
Show more
