Popular repositories Loading

1. ProgramAnalysis ProgramAnalysis Public

   Different types of program analysis code that I've tried implementing

   Makefile

2. NullAway NullAway Public

   Forked from uber/NullAway

   A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

   Java

3. Tests4Py Tests4Py Public

   Forked from smythi93/Tests4Py

   Python

4. testBase testBase Public

   This repository is created for testing purposes

   Python 1

5. habit-tracker habit-tracker Public

   Python

6. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java