I've been on the bivector discord since the beginning (aka chakravala), you can find my geometric algebra library Grassmann.jl https://github.com/chakravala/Grassmann.jl

Yep, I'm actually in the discord server though I've got it muted because I'm not focused enough on it yet. Hoping to get back into it more deeply next month and be more active. Thanks for the invite!