Pinned Loading

1. cs-au-dk/jelly cs-au-dk/jelly Public

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

   TypeScript 450 49

2. cs-au-dk/TIP cs-au-dk/TIP Public

   Static program analysis for TIP

   Scala 324 155

3. cs-au-dk/dk.brics.automaton cs-au-dk/dk.brics.automaton Public

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

   Java 250 97

4. cs-au-dk/MONA cs-au-dk/MONA Public

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

   C 61 15