Kenzo is a package to compute properties (mainly homology groups) of topological spaces. It allows defining spaces created from others by constuctions like loop spaces, classifying spaces and so on.
GPL
https://github.com/gheber/kenzo
ECL (Embedded Common Lisp)
Jupyter Widgets JupyterLab Extension
kiwisolver