We need to clean up the project from the formal point of view. Licensing is most important, but other things which are interesting for potential users/contributors need to be sorted out as well.
See the checklist at https://github.com/ReliSA/IMiGEr/community and also https://opensource.guide/legal/ .