Artifacts using javacc version 4.0 (20)
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.
Last Release on Dec 20, 2013
Relocated → org.activecomponents.jadex »
jadex-javaparser
Core functionality (terms, rules, prover, ...) for deductive verification of Java programs
Last Release on Jul 24, 2026
WikiEventModel makes parsing wiki syntax easier with a unified
event model.
Last Release on Oct 26, 2010
WikiEventModel makes parsing wiki syntax easier with a unified
event model.
Last Release on Jul 22, 2008
5.MG4J (big)5 usages
it.unimi.di » mg4j-big LGPL
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.
Last Release on Oct 17, 2025
6.Key Core5 usages
key-project » key.core GPL
Core of the KeY Systems. Everything you need for headless prooving of Java
files.
Last Release on Oct 6, 2018
7.MG4J4 usages
it.unimi.di » mg4j LGPL
MG4J (Managing Gigabytes for Java) is a free full-text search engine for large document collections written in Java.
Last Release on Apr 6, 2016
9.MG4J (big)1 usages
it.unimi.dsi » mg4j-big LGPL
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.
Last Release on Feb 29, 2012
Relocated → it.unimi.di »
mg4j-big