grievejia

andersen

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

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.

ApkToJava

Utility script for decompiling apks into Java source codes

CostInstrument-llvm

DataStructure

Utility data structure implementations in C++

Util

Variout C++ utility classes

JimpleDumper

Dump soot JIMPLE IR into sqlite3 database file

Ax

Adaptive Experimentation Platform

CostInstrument

Cost instrumenter for jar files

cpython

The Python programming language

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

infer

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

MonkeyType

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

ocaml-ci

A CI for OCaml projects

opam-repository

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

php-src

The PHP Interpreter

ppx_sexp_conv

Generation of S-expression conversion functions from type definitions

pyre-check

Performant type-checking for python.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

recipes

Recipes are a standard, well supported set of blueprints for machine learning engineers to rapidly train models using the latest research techniques without significant engineering overhead.Specifically, recipes aims to provide- Consistent access to pre-trained SOTA models ready for production- Reference implementations for SOTA research reproducibility, and infrastructure to guarantee correctness, efficiency, and interoperability.

Singularity-related

smack

SMACK Software Verifier and Verification Toolchain

torchx

TorchX is a library containing standard DSLs for authoring and running PyTorch related components for an E2E production ML pipeline

typeshed

Collection of library stubs for Python, with static types

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.