Skip to content
Avatar
30 followers · 8 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report gbalats

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. plast-lab/cclyzer Public

    A tool for analyzing LLVM bitcode using Datalog.

    C++ 71 13

  2. jphantom Public

    A tool for Java program complementation.

    Java 29 7

  3. autodisass-llvm-bitcode Public

    Automatically disassemble emacs buffers containing LLVM bitcode.

    Emacs Lisp 16 4

  4. autodisass-java-bytecode Public

    Automatically disassemble emacs buffers containing Java bytecode.

    Emacs Lisp 15 3

  5. lb-datalog-mode Public

    An Emacs mode for LogicBlox Datalog.

    Emacs Lisp 7

68 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

gbalats has no activity yet for this period.

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