JavaCC is a parser/scanner generator for java.

Maven 3 Plugin for processing JavaCC grammar files.

Core functionality (terms, rules, prover, ...) for deductive verification of Java programs

The Jadex Java parser allows arbitrary Java terms being parsed. The parser accepts input that can be written as right hand side of a Java assignment (exp = term), i.e.

WikiEventModel makes parsing wiki syntax easier with a unified event model.

WikiEventModel makes parsing wiki syntax easier with a unified event model.

MG4J (Managing Gigabytes for Java) is a free full-text search engine for large document collections written in Java. The big version is a fork of the original MG4J that can handle more than 2^31 terms and documents.

XAP JDBC

Core of the KeY Systems. Everything you need for headless prooving of Java files.

This Maven plugin run 'jjtree' on a set of .jjt files found in the source directory, which generates a set of .jj files. Next, this plugin executes 'javacc' on those .jj files in order to generate the .java files.

BlackLab is a corpus retrieval engine written in Java, built on top of Apache Lucene. It allows fast, complex searches with accurate hit highlighting on large, tagged and annotated, bodies of text.