It has been my intention to open source LeMMA for some time already, but I’ve been sitting on it. I’ve finally got around to releasing LeMMA under the GPL. The codes are now at https://github.com/geksiong/LeMMA.
What’s next? I admit I have not been updating LeMMA and have not been keeping up with MMA development. If anyone has ideas how to take LeMMA to the next level, I would like to hear from you.