There is also this repo which was last updated in 2018: https://github.com/rayarachelian/lisaem-1.2.x