Giters
Panagiotis Vekris (panagosg7)

panagosg7

Geek Repo

23

followers

1

following

47

stars

Home Page:http://cse.ucsd.edu/~pvekris

Github PK Tool:Github PK Tool

Panagiotis Vekris's repositories

node-jvm

java virtual machine in pure node.js

Language:JavaScriptStargazers:0Issues:0Issues:0

ack.vim

Vim plugin for the Perl module / CLI script 'ack'

Language:VimLStargazers:0Issues:0Issues:0

algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

Language:HaskellStargazers:0Issues:0Issues:0

vim-hdevtools

Vim plugin for Haskell development

Language:VimLStargazers:0Issues:0Issues:0