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 base module for all adams related applications, contains all the core components for GUI and flow related development.

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.

ecological-engine library

siette util

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

siette pl

siette math

siette music