1. GalgebraSymbolic Geometric Algebra/Calculus package for SymPy 🔮
3. lean-gaA partial formalization of Geometric Algebra in the Lean formal proof verification system.
4. pyganjaVisualisation library for geometric algebra with cefpython and ganja.js