Popular repositories

1. Android-NoSleep Public

   No-sleep energy bug finder for Android applications

   Java 4

2. vim-annotations Public

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

   Vim script 1 2

3. opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1

4. algorithmic-software-verification Public

   Forked from UCSD-PL/algorithmic-software-verification

   Course Materials for Graduate Class on Algorithmic Software Verification

   Haskell

5. language-ecmascript Public

   Forked from UCSD-PL/language-ecmascript

   JavaScript parser and additional tools

   Haskell

6. dotfiles Public

   Configuration files for Vim, Zsh, Screen, Bash Shell

   Vim script 1