Pinned Loading

1. plast-lab/cclyzer plast-lab/cclyzer Public

   A tool for analyzing LLVM bitcode using Datalog.

   C++ 98 14

2. jphantom jphantom Public

   A tool for Java program complementation.

   Java 41 10

3. autodisass-llvm-bitcode autodisass-llvm-bitcode Public

   Automatically disassemble emacs buffers containing LLVM bitcode.

   Emacs Lisp 15 4

4. autodisass-java-bytecode autodisass-java-bytecode Public

   Automatically disassemble emacs buffers containing Java bytecode.

   Emacs Lisp 16 5

5. lb-datalog-mode lb-datalog-mode Public

   An Emacs mode for LogicBlox Datalog.

   Emacs Lisp 6