Instrument Java bytecode with JSpecify-based null-checks

Write sandboxed integration tests for Java annotation processors and plugins.

A Spring Boot 4 playground showcasing modern Java practices with declarative HTTP clients, modular architectures, API versioning, null-safety with JSpecify & NullAway, MockMvc testing, observability via OpenTelemetry, AI utilities with Spring AI, and Ahead-of-Time (AOT) optimizations and more

This Maven plugin automatically generates package-info.java files with JSpecify annotations (@NullMarked or @NullUnmarked), helping you manage nullness boundaries in your Java projects without manual boilerplate.

NullAudit is a tool to analyze and verify nullness annotations in Java codebases

A plugin that works with the new standard annotation definitions artifact

JSpecify Nullness Exercise

A maven plugin that defines a package-info.java for all packages and define @NullMarked from JSpecify.

Lightweight, dependency-free functional validation for Java 21+ with a type-safe, serializable, i18n-compatible Result<T>

Demonstrates the combined use of JSpecify and NullAway

Ensure every package in a Java project has a package-info.java annotated with JSpecify's @NullMarked

Minimal Java project using JSpecify, Error Prone and NullAway

JSpecify aims to solve the problem of null reference errors (like NullPointerException) in Java code. The repository show how to use in Maven, JSpecify and Errorprone + Nullaway.

JSpecify 中文文档站

Application with air quality data from IoT sensors.

Jakarta EE base API.

Spring Boot 4 Platform Updates and New features

JSpecify Migration Kit tooling for Java nullness migration.

Production management system. Using Spring Boot, Hibernate, PostgreSQL and Vaadin.

Modular Spring Boot 4 API with Java 21, JWT, RESTful CRUDs, RBAC, Modulith architecture, and smart media processing (WebP/Scrimage).