| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseForked from opprop/checker-framework
Pluggable type-checking for Java
Java
Forked from opprop/checker-framework-inference
Inference of pluggable types for Java
Java 1
A pluggable type system for Java to find unpermitted algorithms or providers at compile time.
Java 4
A Java compiler plugin aiming at finding possible network requests in Java and Android apps.
Java 1
PyVidarDB is a simple, fast, and persistent key-value store that can store terabytes of data. It is the Python binding for VidarDB.
| Back | FazBrowse Home | New Git URL |