Niki Vazou (@nikivazou)
github

nikivazou

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    156
  • Global Rank 149,313 (Top 6 %)
  • Followers 284
  • Following 23
  • Registered over 13 years ago
  • Most used languages
    Haskell
         85.7 %
    JavaScript
         9.5 %
    TeX
         4.8 %
  • Location πŸ‡ͺπŸ‡Έ Spain
  • Country Total Rank 1,787
  • Country Ranking
    Haskell
         4
    TeX
         51
    JavaScript
         1,217

Top repositories

1

presentations

Presentations on Liquid Haskell, type theory, and more
Haskell
44
star
2

theorem-proving-template

Template repo for theorem proving in Liquid Haskell
Haskell
32
star
3

EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs
JavaScript
15
star
4

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving
Haskell
12
star
5

thesis

Liquid Haskell: How to turn Haskell into a Theorem Prover
TeX
12
star
6

verified_string_matching

Verified Parallelized Version of String Mathcing
Haskell
6
star
7

liquid-meta

Haskell
5
star
8

liquidhaskell-course

Course on Liquid Haskell
JavaScript
4
star
9

fopss2023

Haskell
3
star
10

haskell-course

Haskell
3
star
11

OOPSLA18-artifact

Artifact for Gradual Liquid Types
Haskell
2
star
12

Data.Equations

Equation Manipulation on Haskell
Haskell
2
star
13

RTick

Reasoning about resource usage in Liquid Haskell
Haskell
2
star
14

club_de_science

Haskell
2
star
15

prover

Automatic Prover for Logical Predicates
Haskell
2
star
16

CMSC498V

Advances Functional Programming Languages
Haskell
2
star
17

propositional-equality

Propositional Equality in Liquid Haskell
Haskell
1
star
18

tic-tac-toe

Yet another tic-tac-toe game, implemented in Haskell.
Haskell
1
star
19

cse105Fa14

Haskell session of cse105
Haskell
1
star
20

presentation-hopa13

Tutorial: Type-Based Analysis of Higher-Order Programs
Haskell
1
star
21

thesis_proposal

1
star
22

LiquidHOL

Proving Various HOL properties using Liquid Haskell
Haskell
1
star