p
panagosg7
34 repositories
25 followers
Repositories
Select a repository to view its commits, contributors, and more.public
Android-NoSleep
No-sleep energy bug finder for Android applications
Java
4
0
1
Updated 6 years ago
public
vim-annotations
Vim plugin for displaying type annotations of TypeScript programs produced by RefScript (https://github.com/UCSD-PL/RefScript)
VimL
1
2
0
Updated 9 years ago
public
dotfiles
Configuration files for Vim, Zsh, Screen, Bash Shell
Vim script
0
1
0
Updated 6 years ago
public
www-personal-old
Personal Website
HTML
0
0
0
Updated 9 years ago
public
TypeScript-1.0.1.0
Scalable JavaScript variant with types, classes and modules.
TypeScript
0
0
0
Updated 10 years ago
public
typescript-0.9.1
[DEPRECATED] TypeScript Compiler, modified to provide input for language-ecmascript and NanoJS
TypeScript
0
0
0
Updated 11 years ago
public
msrcrypto-bench
Microsoft Research JavaScript Cryptography Library
JavaScript
0
0
0
Updated 11 years ago
public
www-refscript-ace
Web platform for RefScript
JavaScript
0
0
0
Updated 10 years ago
public
www-personal
HTML
0
0
0
Updated 9 years ago