Popular repositories Loading

1. keshmesh keshmesh Public

   Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.

   Java 16 5

2. composite-refactorings composite-refactorings Public

   An alternative interaction model for composite refactorings.

   Java 3 1

3. cascade cascade Public

   A universal inference tool for type qualifiers in Java 8 (JSR-308)

   Java 3 2

4. tqi-study tqi-study Public

   Artifacts for the user study on type qualifier inference tools

   Java 3 1

5. pbbs pbbs Public

   A Copy of the Problem Based Benchmark Suite (http://www.cs.cmu.edu/~pbbs/)

   C 3 2

6. Koochik Koochik Public

   Shortens URLs in GMail composition area

   JavaScript 2