Pinned

1. checker-framework checker-framework Public

   Forked from opprop/checker-framework

   Pluggable type-checking for Java

   Java

2. checker-framework-inference checker-framework-inference Public

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java 1

3. vehiloco/crypto-checker vehiloco/crypto-checker Public

   A pluggable type system for Java to find unpermitted algorithms or providers at compile time.

   Java 3

4. vehiloco/network-request-checker vehiloco/network-request-checker Public

   A Java compiler plugin aiming at finding possible network requests in Java and Android apps.

   Java 1

5. fund-my-watcard fund-my-watcard Public

   A tool to add fund to WatCard easily.

   Python 10 4

6. vidardb/PyVidarDB vidardb/PyVidarDB Public

   PyVidarDB is a simple, fast, and persistent key-value store that can store terabytes of data. It is the Python binding for VidarDB.

   Python 21 1