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