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