Repackaged java-cup-11b-runtime.jar

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.

JFlex is a lexical analyzer generator (also known as scanner generator) for Java™, written in Java.

FSScript engine for parsing TM/QM declarative data models

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

A simple gettext-like internationalization library for Scala

Impala Extractor

Aussom Interpreter. This library implements the basic interpreter and runtime.

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