Domains github is a Pharo port of https://github.com/len/Mathematics wayback a computer system algebra running on Cuis.