Christ, the description on that second repo is so comically terribly spelled that I can’t figure out whether it’s a joke:

> The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

(Perhaps a witty satire on the reputation of mathmos for being godawful at anything literary...)