That's right. Mathics is still maintained. There are currently two of us working on it. The last release was v0.9 in March this year.