Nachi Valliappan

icon indicating a website link nachivpn.me

icon location Doing this research thing

Results 60 repositories owned by Nachi Valliappan

mt

27
Stars
1
Forks
Watchers

Master thesis on developing a static type checker for Erlang

verified publisher icon nachivpn

nbe-course

28
Stars
1
Forks
Watchers

NbE course @ Chalmers

verified publisher icon nachivpn

nbe-edsl

24
Stars
0
Forks
Watchers

Normalization by Evaluation for Embedded Domain-specific Languages

verified publisher icon nachivpn