A fast type checker and IDE for Python

A security focused static analysis tool for Android and Java applications.

Post Processor for Facebook Static Analysis Tools.

The core parallel and shared memory library used by Hack, Flow, and Pyre

Collection of library stubs for Python, with static types

Rust mid-level IR Abstract Interpreter

Performant type-checking for python.

A framework for divide and conquer algorithms using SCOOP

Implementation and proof of a recursive longest common substring algorithm

This repo is for demonstration purposes only.