All Git Users → cs-au-dk

5 open source projects by cs-au-dk

[ Open user page on Github ]

Type Analyzer for JavaScript

✭ 150

javascript java static-code-analysis program-analysis static-analyzer type-checking

Static program analysis for TIP

✭ 140

scala static-code-analysis program-analysis static-analyzer

3. Dk.brics.automaton

dk.brics.automaton - finite-state automata and regular expressions for Java

✭ 136

automated testing for JavaScript

✭ 35

C++HTML javascript c python Objective-C++

MONA - a decision procedure for monadic second-order logic on finite strings and trees

✭ 27

1-5 of 5 user projects