Repository for the SPLevo tooling developed by the KoPL team