Yes, that’s right. I’ve found your post: Symbolic differential geometry on Julia and we currently have atlases, we are slowly pushing towards supporting tensor fields and we are thinking about supporting manifolds with just an affine connection (instead of a metric). So there may be some functionality we could share .