GitHub repository: JSMonk/hegel
Primary language: JavaScript
Description: An advanced static type checker