panagosg7 Goto Github PK

.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.

babylon

:page_with_curl: A JavaScript parser

cse231_project

Starter code for students of the UCSD CSE231 class

dotfiles

Configuration files for Vim, Zsh, Screen, Bash Shell

flow

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

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

node-jvm

java virtual machine in pure node.js

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.

opam-repository

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

prettier

Prettier is an opinionated code formatter.

react-native

A framework for building native applications using React

refscriptdemo

An online demo for RefScript

starter-adder

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-annotations

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

vim-colors-solarized

precision colorscheme for the vim text editor

vim-hdevtools

Vim plugin for Haskell development