Open source repositories tagged with #type-inference, ranked by health score.
Rails as a specification; the deployment target is a build flag
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
