Pinned Loading

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

   A tool for analyzing LLVM bitcode using Datalog.

   C++ 100 14

2. jphantom jphantom Public

   A tool for Java program complementation.

   Java 40 12

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

   Automatically disassemble emacs buffers containing LLVM bitcode.

   Emacs Lisp 14 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