Nikos Vasilakis (@nvasilakis)
github

nvasilakis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 684,145 (Top 24 %)
  • Followers 87
  • Following 45
  • Registered about 14 years ago
  • Most used languages
    Shell
         25.0 %
    HTML
         12.5 %
    JavaScript
         12.5 %
    Haskell
         12.5 %
    Java
         12.5 %
    Vala     12.5 %
    Coq     12.5 %
  • Location 🇺🇸 United States
  • Country Total Rank 118,919
  • Country Ranking
    Vala     69
    Coq     235
    Haskell
         1,954

Top repositories

1

enote

Be on top of what you need to do!
Vala
4
star
2

nvasilakis.github.io

HTML
3
star
3

yippee

A fully distributed search engine
Java
3
star
4

lsh

λsh | the lambda shell
Haskell
2
star
5

breakapp

This repo wraps @andromeda/breakapp for easy inclusion to npm
JavaScript
2
star
6

.dotrc

My .*rc repository
Shell
1
star
7

Noq

Nock Specification in Coq
Coq
1
star
8

.scripts

vōx audīta perit, lītera scrīpta manet
Shell
1
star