grievejia Goto Github PK

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

apktojava

Utility script for decompiling apks into Java source codes

ax

Adaptive Experimentation Platform

costinstrument

Cost instrumenter for jar files

costinstrument-llvm

cpython

The Python programming language

datastructure

Utility data structure implementations in C++

doop-pldi15-tutorial

Tutorial site for PLDI 2015

fbgemm

FB (Facebook) + GEMM (General Matrix-Matrix Multiplication) - https://code.fb.com/ml-applications/fbgemm/

fbpcp

FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation) applications in a distributed way on virtual private clouds. FBPCF (Facebook Private Computation Framework) is for scaling MPC computation up via threading, while FBPCP is for scaling MPC computation out via Private Scaling architecture.

fbpcs

FBPCS (Facebook Private Computation Solutions) leverages secure multi-party computation (MPC) to output aggregated data without making unencrypted, readable data available to the other party or any third parties. Facebook provides impression & opportunity data, and the advertiser provides conversion / outcome data. Both parties have dedicated cloud computing instances living on separate Virtual Private Clouds (VPCs) that are connected to allow network communication. The FBPMP products that have been implemented are Private Lift and Private Attribution. It’s expected that more products will be implemented and added to the Private Measurement suite.

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

gcc

grievejia.github.io

My personal homepage

gsoc2016

Work product of my Google Summer of Code 2016 project

hermes

A tool that translates from a specification of Algebraic Data Type to C++14 codes

infer

A static analyzer for Java, C, C++, and Objective-C

jimpledumper

Dump soot JIMPLE IR into sqlite3 database file

llvmdynamictools

An LLVM interpreter that aims to compute points-to sets dynamically

monkeytype

A Python library that generates static type annotations by collecting runtime types

neongobyport

Port the neonGoby project (https://github.com/columbia/neongoby) to work with the latest version of LLVM

njuscript

A scripting language written by an NJUer

ocaml-ci

A CI for OCaml projects

opam-repository

Main public package repository for opam, the source package manager of OCaml.

pcomb

Simple C++ Parser Combinator Library

php-src

The PHP Interpreter

ppx_sexp_conv

Generation of S-expression conversion functions from type definitions

pyre-ast

pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.

pyre-check

Performant type-checking for python.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration