Pinned Repositories
.tmux
Oh My Tmux! My pretty + versatile self-contained tmux configuration (in other words the best tmux configuration)
131-web
Public course materials for CSE 131 (Compilers)
ack.vim
Vim plugin for the Perl module / CLI script 'ack'
algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
Android-NoSleep
No-sleep energy bug finder for Android applications
astexplorer
A web tool to explore the ASTs generated by various parsers.
babel
:tropical_fish: Babel is a compiler for writing next generation JavaScript.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
vim-annotations
Vim plugin for displaying type annotations of TypeScript programs produced by RefScript (https://github.com/UCSD-PL/RefScript)
panagosg7's Repositories
panagosg7/Android-NoSleep
No-sleep energy bug finder for Android applications
panagosg7/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
panagosg7/vim-annotations
Vim plugin for displaying type annotations of TypeScript programs produced by RefScript (https://github.com/UCSD-PL/RefScript)
panagosg7/.tmux
Oh My Tmux! My pretty + versatile self-contained tmux configuration (in other words the best tmux configuration)
panagosg7/131-web
Public course materials for CSE 131 (Compilers)
panagosg7/astexplorer
A web tool to explore the ASTs generated by various parsers.
panagosg7/babel
:tropical_fish: Babel is a compiler for writing next generation JavaScript.
panagosg7/typescript-0.9.1
[DEPRECATED] TypeScript Compiler, modified to provide input for language-ecmascript and NanoJS
panagosg7/babylon
:page_with_curl: A JavaScript parser
panagosg7/CSE231_Project
Starter code for students of the UCSD CSE231 class
panagosg7/dotfiles
Configuration files for Vim, Zsh, Screen, Bash Shell
panagosg7/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
panagosg7/language-ecmascript
JavaScript parser and additional tools
panagosg7/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
panagosg7/msrcrypto-bench
Microsoft Research JavaScript Cryptography Library
panagosg7/ocaml-ppx_gen_rec
ocaml preprocessor that generates a recursive module
panagosg7/oh-my-fish
Framework for managing your fish shell configuration inspired by Oh My ZSH.
panagosg7/prettier
Prettier is an opinionated code formatter.
panagosg7/react-native
A framework for building native applications using React
panagosg7/RefScriptDemo
An online demo for RefScript
panagosg7/starter-adder
panagosg7/starter-boa
The Binary Operator Arithmetic compiler.
panagosg7/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
panagosg7/TypeScript-1.0.1.0
Scalable JavaScript variant with types, classes and modules.
panagosg7/UCSD_BigData
A repository for scripts and notebooks for the UCSD big data course
panagosg7/vim-colors-solarized
precision colorscheme for the vim text editor
panagosg7/www-personal
panagosg7/www-personal-old
Personal Website
panagosg7/www-refscript-ace
Web platform for RefScript
panagosg7/zsh-files
Contains plugins, themes, and custom files for using zsh.