Popular repositories Loading

1. jelly jelly Public

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

   TypeScript 384 31

2. TIP TIP Public

   Static program analysis for TIP

   Scala 296 138

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

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

   Java 226 83

4. TAJS TAJS Public archive

   Type Analyzer for JavaScript

   Java 196 39

5. MONA MONA Public

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

   C 51 14

6. Artemis Artemis Public

   automated testing for JavaScript

   C++ 36 9