Grassmann.jl – Differential Geometric Algebra

Related: Directsum.jl – Abstract tangent bundle vector space type operations - https://news.ycombinator.com/item?id=22085911