GitHub repository: sobolevn/hegel
Description: An advanced static type checker