gbalats

jphantom

A tool for Java program complementation.

autodisass-java-bytecode

Automatically disassemble emacs buffers containing Java bytecode.

autodisass-llvm-bitcode

Automatically disassemble emacs buffers containing LLVM bitcode.

pointer-analysis-bib

lb-datalog-mode

An Emacs mode for LogicBlox Datalog.

souffle-mode

An Emacs Major Mode for the souffle lang

dot-emacs

My emacs configuration.

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

cedet

Setup CEDET environment

datalog-benchmarks

dict-autocomp

docker-java

Java Docker API Client

dockerfiles

My personal Dockerfiles

dotfiles

dsa-seahorn

DSA fork for SeaHorn

ECLiPSe-wrapper

A wrapper that enables readline-like user input editing on the ECLiPSe constraint-solving framework.

gbalats.github.io

My personal web page

infer

A static analyzer for Java, C and Objective-C

javap-mode

show the ouput of javap when opening a jvm class file in emacs

jcommander

Command line parsing framework for Java

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

malabar-mode

A better Java mode for Emacs

melpa

Scripts for building Emacs packages from Version Control

phd-thesis

resume

soot

Soot - A Java optimization framework

tvla

Three-Valued Logic Analyzer

yasnippet

A template system for Emacs

yasnippet-snippets

a collection of yasnippet snippets for many languages

zenburn-emacs

The Zenburn colour theme ported to Emacs