An artifact of well-named and well-specified annotations to power static analysis checks

Artifacts using JSpecify Annotations (3,914)
Sort by:Popular

Guava is a suite of core and expanded libraries that include utility classes, Google's collections, I/O classes, and much more.
Last Release on Apr 14, 2026
JUnit Jupiter is the API for writing tests using JUnit 5.
Last Release on Apr 26, 2026
Core package for the JUnit Jupiter test engine.
Last Release on Apr 26, 2026
Provides backwards-compatible implementations of UI-related Android SDK functionality, including dark mode and Material theming.
Last Release on Jun 4, 2025
Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has a plugin architecture that makes it extensible and supports asynchronous logging based on LMAX Disruptor.
Last Release on May 8, 2026
API for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has a plugin architecture that makes it extensible and supports asynchronous logging based on LMAX Disruptor.
Last Release on May 8, 2026
Basic building block for Spring that in conjunction with Spring Beans provides dependency injection and IoC features.
Last Release on Apr 17, 2026
JUnit Jupiter extension for running parameterized tests.
Last Release on Apr 26, 2026
A thin layer on top of JUnit 4 to allow running vintage tests (based on JUnit 3.8 and JUnit 4) with the JUnit Platform launcher infrastructure.
Last Release on Apr 26, 2026
jsoup is a Java library that simplifies working with real-world HTML and XML. It offers an easy-to-use API for URL fetching, data parsing, extraction, and manipulation using DOM API methods, CSS, and xpath selectors.
Last Release on Apr 20, 2026