Chinese name for "The Typst Project"

I found that in German someone used „im Typstuniversume“. Not the same case, but intriguing.