Nick Giannarakis (@nickgian)
github

nickgian

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    28
  • Global Rank 517,529 (Top 18 %)
  • Followers 25
  • Following 17
  • Registered over 13 years ago
  • Most used languages
    OCaml
         42.9 %
    TeX
         28.6 %
    CSS
         14.3 %
    Coq     14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 102,293
  • Country Ranking
    Coq     219
    OCaml
         321
    TeX
         939

Top repositories

1

ECC-OCaml

Elliptic Curves Cryptography for OCaml
TeX
12
star
2

MathSAT-ML

OCaml bindings to MathSAT solver
OCaml
4
star
3

ProjectEuler

Project Euler Problems in Some OCaml & Just Haskell
OCaml
3
star
4

thesis

NTUA diploma thesis
TeX
2
star
5

Bonsai-coq

A formalization of SRPs and Control Plane Compression in Coq.
Coq
1
star
6

nickgian.github.io

CSS
1
star
7

ProbNV

OCaml
1
star