Rankings
Badges
/
nachivpn
Rankings
Badges
Overview
Ranks
Repositories
Languages
Nachi Valliappan
@nachivpn
Refresh
Open GitHub
null
Profile age: over 12 years
Updated 3 days ago
97 followers • 36 following
Contacts
nachivpn.me
Organizations
Repositories
nbe-edsl
31
1
updated about 1 year ago • age over 4 years
Haskell
100.0%
nbe-course
28
1
updated about 1 year ago • age about 6 years
mt
27
1
updated about 7 years ago • age almost 8 years
Erlang
98.8%
Haskell
1.2%
k
19
2
updated over 1 year ago • age over 4 years
Agda
99.1%
Shell
0.9%
nbe-stlc
12
0
updated almost 6 years ago • age almost 7 years
Agda
100.0%
expelim
10
0
updated about 6 years ago • age over 6 years
Agda
100.0%
gluetn
9
2
updated almost 4 years ago • age almost 6 years
Agda
100.0%
syntactic-ni
6
0
updated over 6 years ago • age over 6 years
Agda
100.0%
s
3
0
updated 27 days ago • age about 3 years
Agda
100.0%
kripke-style
2
0
updated 10 months ago • age about 1 year
Agda
100.0%
Show more - 10 of 19 shown
Contributions
2019
ChalmersSecurity
4 PRs
+211
-0
JavaScript
0
1
2017
papers-we-love.github.io
1 PR
+4
-2
SCSS
190
71
plt-errata
1 PR
+6
-0
12
4
2016
papers-we-love
1 PR
+1
-0
Shell
100,101
6,154
papers-we-love.github.io
1 PR
+24
-0
SCSS
190
71
silcnitc.github.io
1 PR
+3
-3
HTML
24
14
2015
phantomjs
1 PR
+1
-1
C++
29,491
5,741
neo4j-gremlin-plugin
1 PR
+1
-1
Java
30
15
6
