Gamma-opt website (deprecated) The active repo is this. This is kept only for archiving purposes and will be deleted eventually.