GitHub repository: tysng/source-type-inference
Primary language: JavaScript
Description: A type inference system written in the Source language