java-refined

github.com ↗

Zero-dependency refinement types for Java 8+ with type-safe wrappers covering numerics, strings, and collections.