Popular repositories Loading

1. JavaVulnerableLab JavaVulnerableLab Public

   Forked from softwaresecured/JavaVulnerableLab

   Vulnerable Java based Web Application

   Java

2. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml

3. kotlin-plugin kotlin-plugin Public

   Forked from pfn/kotlin-plugin

   Build kotlin code using sbt

   Scala

4. scala-csv scala-csv Public

   Forked from tototoshi/scala-csv

   CSV Reader/Writer for Scala

   Scala

5. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

   C++

6. libcxx-pretty-printers libcxx-pretty-printers Public

   Forked from koutheir/libcxx-pretty-printers

   GDB Pretty Printers for libc++ of Clang/LLVM

   Python