GitHub repository: 0xflotus/hegel
Description: An advanced static type checker