Linking pages
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/analysis-tools-dev/static-analysis 112 comments
- GitHub - akullpp/awesome-java: A curated list of awesome frameworks, libraries and software for the Java programming language. https://github.com/akullpp/awesome-java 90 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Scala with Explicit Nulls · GitHub https://gist.github.com/abeln/9f79774bac111d99b3ae2cb9016a33e6 43 comments
- GitHub - cretz/pgnio: Asynchronous PostgreSQL client for Java and the JVM https://github.com/cretz/pgnio 32 comments
- Some notes on null-intolerant Java | by Dominic Fox | Medium https://medium.com/buildit/some-notes-on-null-intolerant-java-dc6147a870fd 28 comments
- GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality. https://github.com/mre/awesome-static-analysis#c 21 comments
- Evil Annotations - DZone https://dzone.com/articles/evil-annotations 12 comments
- Type Annotations in Java 8: Tools and Opportunities http://www.infoq.com/articles/Type-Annotations-in-Java-8 6 comments
- GitHub - uber/NullAway: A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead https://github.com/uber/NullAway 4 comments
- DEP-non-null/dep-non-null-AUTOGENERATED-DO-NOT-EDIT.md at master · chalin/DEP-non-null · GitHub https://github.com/chalin/DEP-non-null/blob/master/doc/dep-non-null-AUTOGENERATED-DO-NOT-EDIT.md 1 comment
- Evil Annotations - DZone Java https://dzone.com/articles/evil-annotations?oid=hn 0 comments
Would you like to stay up to date with Java? Checkout Java
Weekly.
Related searches:
Search whole site: site:checkerframework.org
Search title: The Checker Framework
See how to search.