GitHub repository: K4liber/definit
Primary language: Python
Description: Hierarchy of precise definitions.