Panagiotis Vekris

Relay is a JavaScript framework for building data-driven React applications.

A framework for building native applications using React

Prettier is an opinionated code formatter.

Adds static typing to JavaScript to improve developer productivity and code quality.

Configuration files for Vim, Zsh, Screen, Bash Shell

No-sleep energy bug finder for Android applications

Main public package repository for OPAM, the source package manager of OCaml.

A web tool to explore the ASTs generated by various parsers.

ocaml preprocessor that generates a recursive module

No description provided.

The Binary Operator Arithmetic compiler.

Oh My Tmux! My pretty + versatile self-contained tmux configuration (in other words the best tmux configuration)

Starter code for students of the UCSD CSE231 class

Public course materials for CSE 131 (Compilers)

:tropical_fish: Babel is a compiler for writing next generation JavaScript.

:page_with_curl: A JavaScript parser

No description provided.

An online demo for RefScript

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

Personal Website

Vim plugin for displaying type annotations of TypeScript programs produced by RefScript (https://github.com/UCSD-PL/RefScript)

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Scalable JavaScript variant with types, classes and modules.

Framework for managing your fish shell configuration inspired by Oh My ZSH.

Web platform for RefScript

Contains plugins, themes, and custom files for using zsh.

precision colorscheme for the vim text editor

JavaScript parser and additional tools

Microsoft Research JavaScript Cryptography Library

[DEPRECATED] TypeScript Compiler, modified to provide input for language-ecmascript and NanoJS