sympy. The main development repo for SymPy
hobj. A Python library for computing matching and independence polynomials
