Popular repositories

1. cpachecker cpachecker Public

   Forked from sosy-lab/cpachecker

   CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

   C

2. java-common-lib java-common-lib Public

   Forked from sosy-lab/java-common-lib

   SoSy-Lab Java Common Library

   Java

3. jline3 jline3 Public

   Forked from jline/jline3

   JLine is a Java library for handling console input.

   Java

4. glassfish-hk2 glassfish-hk2 Public

   Forked from eclipse-ee4j/glassfish-hk2

   Dynamic dependency injection framework

   Java

5. jersey jersey Public

   Forked from eclipse-ee4j/jersey

   Eclipse Jersey Project - Read our Wiki:

   Java

6. sv-benchmarks sv-benchmarks Public

   Forked from sosy-lab/sv-benchmarks

   Collection of Verification Tasks