facebook / pyrefly

A fast type checker and language server for Python

carthage-software / mago

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.