Popular repositories Loading

1. Android-NoSleep Android-NoSleep Public

   No-sleep energy bug finder for Android applications

   Java 4

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1

3. algorithmic-software-verification algorithmic-software-verification Public

   Forked from UCSD-PL/algorithmic-software-verification

   Course Materials for Graduate Class on Algorithmic Software Verification

   Haskell

4. language-ecmascript language-ecmascript Public

   Forked from UCSD-PL/language-ecmascript

   JavaScript parser and additional tools

   Haskell

5. dotfiles dotfiles Public

   Configuration files for Vim, Zsh, Screen, Bash Shell

   Vim Script 1

6. typescript-0.9.1 typescript-0.9.1 Public

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

   TypeScript