cs-au-dk/TIP
Static program analysis for TIP
Developer Profile
cs-au-dk
Discovered public repositories for cs-au-dk in the GitHub catalog.
cs-au-dk/protocolfiller
Public repository.
cs-au-dk/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
cs-au-dk/XSLV
static validation of XSL Transformations
cs-au-dk/JSRefactor
refactoring for JavaScript
cs-au-dk/TAJS
Type Analyzer for JavaScript
cs-au-dk/JWIG
JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations
cs-au-dk/dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
cs-au-dk/Artemis
automated testing for JavaScript