Found 2683 results
Sort by:Relevance▼

Deterministic Java source analysis with Eclipse JDT, producing a provenance-bearing code graph.
Last Release on Sep 23, 2026
Java SDK for the Agent2Agent Protocol (A2A) - Common classes for A2A Reference Servers (based on Quarkus)
Last Release on Nov 20, 2025
Requirements Java
Last Release on Jan 25, 2026
Contract annotations for Java-FV formal verification (@NotNull, @Pure, @Immutable, @Requires, @Ensures, @Invariant, @Frame, @Throws)
Last Release on Mar 20, 2026
Java Impetus JPA
Last Release on Aug 7, 2025
Base classes for Java code generators
Last Release on Nov 18, 2024
Beecomb Client Java
Last Release on Aug 18, 2025
Java library with general purpose utility classes
Last Release on Aug 25, 2025
Java Library Plugin
Last Release on Mar 22, 2025