jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

Eclipse Texlipse

Some notes and links about material we might need frequently.

The Pyret language.

Source Code for 'Practical Java Machine Learning' by Mark Wickham

Style guides for Google-originated open-source projects

Google core libraries for Java

Dafny is a verification-aware programming language

A wiki and web-services based development environment for Awelon project

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Eclipse plugin for Cucumber

Cucumber for the JVM

Grammars written for ANTLR v4; expectation that the grammars are free of actions.