This git repo is quite out of date. The best place to look for updates is the smlnj website: https://www.smlnj.org/