dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

TAJS: Type Analyzer for JavaScript

TAJS is a program analysis tool that can infer detailed and sound type information for JavaScript programs using abstract interpretation.

The TAJS tool is being developed by the programming language research groups at Aarhus University and Universität Freiburg.