The homalg project homepage on github