grievejia/ppx_sexp_conv
Generation of S-expression conversion functions from type definitions
Programming Addict
Repositories
grievejia/CostInstrument-llvm
grievejia/pyre-check
Performant type-checking for python.
grievejia/hermes
A tool that translates from a specification of Algebraic Data Type to C++14 codes
grievejia/DataStructure
Utility data structure implementations in C++
grievejia/Util
Variout C++ utility classes
grievejia/CostInstrument
Cost instrumenter for jar files
grievejia/Singularity-related
grievejia/neonGobyPort
Port the neonGoby project (https://github.com/columbia/neongoby) to work with the latest version of LLVM
grievejia/vavr
VΛVΓ (Vavr, formerly called Javaslang) is an object-functional language extension to Java 8+, which aims to reduce the lines of code and increase code quality.
grievejia/smack
SMACK Software Verifier and Verification Toolchain
grievejia/gcc
grievejia/JimpleDumper
Dump soot JIMPLE IR into sqlite3 database file
grievejia/infer
A static analyzer for Java, C, C++, and Objective-C
grievejia/php-src
The PHP Interpreter
grievejia/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
grievejia/njuscript
A scripting language written by an NJUer
grievejia/doop-pldi15-tutorial
Tutorial site for PLDI 2015
grievejia/rpcomb
Simple Rust Parser Combinator Library (port from pcomb)