Block or report user

Report or block gbalats

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. plast-lab/cclyzer

    A tool for analyzing LLVM bitcode using Datalog.

    Python 40 10

  2. jphantom

    A tool for Java program complementation.

    Java 15 4

  3. autodisass-llvm-bitcode

    Automatically disassemble emacs buffers containing LLVM bitcode.

    Emacs Lisp 14 3

  4. autodisass-java-bytecode

    Automatically disassemble emacs buffers containing Java bytecode.

    Emacs Lisp 14 1

  5. lb-datalog-mode

    An Emacs mode for LogicBlox Datalog.

    Emacs Lisp 7

41 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

May - July 2018

gbalats has no activity yet for this period.

April 2018

Seeing something unexpected? Take a look at the GitHub profile guide.