topoll "Proof-of-concept" library for type-safe topological data analysis and some algebraic calculations.