Aarhus University
Results
8
repositories owned by
Aarhus University
TIP
271
Stars
124
Forks
Watchers
Static program analysis for TIP
TAJS
188
Stars
39
Forks
Watchers
Type Analyzer for JavaScript
dk.brics.automaton
200
Stars
76
Forks
Watchers
dk.brics.automaton - finite-state automata and regular expressions for Java
MONA
40
Stars
12
Forks
Watchers
MONA - a decision procedure for monadic second-order logic on finite strings and trees
jelly
322
Stars
24
Forks
Watchers
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis