jspecify

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.

Demonstrates the combined use of JSpecify and NullAway

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

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 中文文档站

JSpecify Migration Kit tooling for Java nullness migration.

Spring Boot 4 Platform Updates and New features

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

Jakarta EE base API.

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

Application with air quality data from IoT sensors.