Group: Key Project Proofjava
1.JavaParser Core2 usages
org.key-project.proofjava » javaparser-core Apache +1
The core parser functionality. This may be all you need.
Last Release on Jun 7, 2026
2.JavaParser Core Serialization
org.key-project.proofjava » javaparser-core-serialization Apache +1
Serializers for the JavaParser AST.
Last Release on Jun 7, 2026
3.JavaParser Parent
org.key-project.proofjava » javaparser-parent Apache +1
Java Parser and Abstract Syntax Tree for Java
Last Release on Jun 7, 2026
4.JavaParser Symbol Solver Core
org.key-project.proofjava » javaparser-symbol-solver-core Apache +1
A Symbol Solver for Java, built on top of JavaParser (core)
Last Release on Jun 7, 2026