A self-contained python library designed to apply Mathematical Surgery Theory over Manifolds.

Our implementation of the Smith Normal Form algorithm.

ANUBiS is a C++ library of high-performance algorithms for computing topological invariants of point sets and simplicial topological spaces.

Topological Data Analysis using cubical homology. Implements algorithms from Tomasz Kaczynski's Computational Homology. Utilizes the open-source exact linear algebra library LinBox for Smith normal form computations. Uses these TDA methods to compute the cubical homology of grids obtained from cellular automata.

Category-theoretic graph structures in Rust — strict Fong & Spivak hypergraph categories (cospans, props, Frobenius), with applied, magnitude, physics, and DL extensions, plus a term-language frontend (print/parse/eval/typed builder)

Some linear algebra work done in Haskell