Panagiotis Vekris's repositories
Android-NoSleep
No-sleep energy bug finder for Android applications
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)
131-web
Public course materials for CSE 131 (Compilers)
astexplorer
A web tool to explore the ASTs generated by various parsers.
babel
:tropical_fish: Babel is a compiler for writing next generation JavaScript.
CSE231_Project
Starter code for students of the UCSD CSE231 class
language-ecmascript
JavaScript parser and additional tools
liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
msrcrypto-bench
Microsoft Research JavaScript Cryptography Library
ocaml-ppx_gen_rec
ocaml preprocessor that generates a recursive module
oh-my-fish
Framework for managing your fish shell configuration inspired by Oh My ZSH.
prettier
Prettier is an opinionated code formatter.
react-native
A framework for building native applications using React
RefScriptDemo
An online demo for RefScript
starter-boa
The Binary Operator Arithmetic compiler.
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
typescript-0.9.1
[DEPRECATED] TypeScript Compiler, modified to provide input for language-ecmascript and NanoJS
TypeScript-1.0.1.0
Scalable JavaScript variant with types, classes and modules.
UCSD_BigData
A repository for scripts and notebooks for the UCSD big data course
vim-colors-solarized
precision colorscheme for the vim text editor
www-personal-old
Personal Website
www-refscript-ace
Web platform for RefScript