GitHub repository: jspahrsummers/adt
Primary language: Python
Description: Algebraic data types for Python (experimental, not actively maintained)