Optional static typing for Python 3 and 2 (PEP 484)

mypy

cpython

The HTML5 Creation Engine: Create beautiful digital content with the fastest, most flexible 2D WebGL renderer.

Cocos2d-x is a suite of open-source, cross-platform, game-development tools used by millions of developers all over the world.

Yii 2: The Fast, Secure and Professional PHP Framework

阿里巴巴计算平台事业部出品，为监控而生的数据库连接池

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.