CUP is a system for generating LALR parsers from simple specifications. It serves the same role as the widely used program YACC [1] and in fact offers most of the features of YACC. However, CUP is written in Java, uses specifications including embedded Java code, and produces parsers which are implemented in Java.

The Waikato Environment for Knowledge Analysis (WEKA), a machine learning workbench. This version represents the developer version, the "bleeding edge" of development, you could say.

The Waikato Environment for Knowledge Analysis (WEKA), a machine learning workbench. This is the stable version.

The base module for all adams related applications, contains all the core components for GUI and flow related development.

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

NetBeans Libraries JavaCup

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

This project allows a Genedits Metafile to be translated into Groovy edits that can be executed in the SEER Validation framework.

ecological-engine library

siette util

The tests module runs the JDK8[-] tests found in the agent tree on the bundled agent jar (byteman.jar) which includes the core agent code (taken from byteman-agent.jar) plus extra classes (taken from byteman-layer.jar and ...