Functional Java is an open source library that supports closures for the Java programming language

Ontop Model

Spoofax core library

impure functional data structures

Static code analysis APIs leveraging data flow, control flow, and other AST-based search

Distribution client JAR file to use by consumers

Ontop Optimization

Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based program analysis frameworks. A reference connector exists for the Soot framework.

SDC Tosca Parser JAR file for use by consumers

Task engine for incremental execution of program analysis tasks

Distribution client JAR file to use by consumers