Found 14740 resultsSort by:Relevance▼
Sort by:Relevance▼
Contract annotations for Java-FV formal verification (@NotNull, @Pure, @Immutable, @Requires, @Ensures, @Invariant, @Frame, @Throws)
Last Release on Mar 20, 2026
172.AdapterSdk Schema Java Interfaces3 usages
io.github.fileanalysissuite.adaptersdk.schema » adaptersdk-schema-java-interfaces Apache
AdapterSdk Schema Java Interfaces
Last Release on Nov 24, 2025
Snapshot Testing for Java
Last Release on Apr 23, 2024
Java SDK for the Agent2Agent Protocol (A2A) - Common classes for A2A Reference Servers (based on Quarkus)
Last Release on Nov 20, 2025
The AWS SDK for Java - Test Utils module holds the all the utilities that are used by the tests.
Last Release on Apr 30, 2024
176.Belgif REST Problem Java EE3 usages
io.github.belgif.rest.problem » belgif-rest-problem-java-ee Apache
Belgif REST Problem Java EE
Last Release on Apr 28, 2026
177.Boost System4 usages
io.github.openvega » boost_system Apache
Boost System
Last Release on Jan 3, 2024
178.Belgif REST Problem Java EE Core3 usages
io.github.belgif.rest.problem » belgif-rest-problem-java-ee-core Apache
Belgif REST Problem Java EE Core
Last Release on Apr 27, 2026
The plugin provides configuration with three conventions. Conventions when using the JavaBasePlugin, conventions when using the MavenPublishPlugin plugin, conventions when using the AsciidoctorJPlugin plugin
Last Release on May 11, 2024
An uber jar which contains all the zksnark jni platform libraries and dependencies
Last Release on Dec 27, 2022