E5BD Aarhus University · GitHub
[go: up one dir, main page]
Skip to content
@cs-au-dk

Aarhus University

Popular repositories Loading

  1. jelly jelly Public

    JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

    TypeScript 416 34

  2. TIP TIP Public

    Static program analysis for TIP

    Scala 308 142

  3. dk.brics.automaton dk.brics.automaton Public

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

    Java 233 91

  4. TAJS TAJS Public archive

    Type Analyzer for JavaScript

    Java 199 39

  5. MONA MONA Public

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

    C 55 15

  6. Artemis Artemis Public

    automated testing for JavaScript

    C++ 36 9

Repositories < 8000 /h3>
Showing 10 of 32 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0