Popular repositories Loading

1. parsing-with-zippers parsing-with-zippersPublic

   A clean implementation of Parsing with Zippers.

   OCaml 38 2

2. jaam jaamPublic

   JVM Abstracting Abstract Machine

   Scala 25 3

3. Tapas TapasPublic

   Dalvik bytecode analysis in scala

   Scala 15 7

4. jade jadePublic archive

   Jade: The Java Decompiler [Replaced by a rewrite in Kotlin at https://github.com/plilab/jade]

   Scala 7 1

5. anadroid anadroidPublic

   Taint flow analysis for android

   Scala 6 7

6. cloud9-analyst cloud9-analystPublic

   Forked from c9/cloud9

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

   JavaScript 1