Symbolica is a symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace. It can easily be incorporated into existing projects using its Python, Rust or C++ bindings.
Symbolica is in early development. Follow the development on Zulip!