It is used as a type system for code generation and high performance calculation with discrete differential goemetry sub algebras. More information is at https://grassmann.crucialflow.com or also at https://bivector.net