Popular repositories Loading

1. sparta.demos sparta.demos Public

2. sparta sparta Public

   Forked from typetools/sparta

   Static Program Analysis for Reliable Trusted Apps

   Java

3. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java

4. daikon-typecheck-nullness daikon-typecheck-nullness Public

   Forked from typetests/daikon-typecheck-nullness

   Type-check Daikon for the Nullness type systems

   Shell

5. daikon daikon Public

   Forked from codespecs/daikon

   Dynamic detection of likely invariants

   C

6. daikon-typecheck-interning daikon-typecheck-interning Public

   Forked from typetests/daikon-typecheck-interning

   Type-check Daikon for the Interning type system

   Shell