Popular repositories

1. parsing-with-zippers parsing-with-zippers Public

   A clean implementation of Parsing with Zippers.

   OCaml 35 2

2. jaam jaam Public

   JVM Abstracting Abstract Machine

   Scala 25 3

3. Tapas Tapas Public

   Dalvik bytecode analysis in scala

   Scala 15 7

4. anadroid anadroid Public

   Taint flow analysis for android

   Scala 6 7

5. jade jade Public

   Jade: The Java Decompiler

   Scala 6 1

6. cloud9-analyst cloud9-analyst Public

   Forked from c9/cloud9

   Fork of cloud9 with plugins for navigation of static analysis results.

   JavaScript 1