Comment by williamstein

Maybe Wolfram already effectively killed this project. It was actively developed for about 5 years (see https://github.com/mathics/Mathics/graphs/contributors), then Wolfram Inc. hired the lead developer 2 years ago, and basically all worked stopped...