GitHub repository: lycantropos/topo
Primary language: Python
Description: Topology models (intervals, discrete sets, etc.)