The language formerly named euklides
has been renamed eukleides.

The home page has moved to here.