GitHub repository: lvotypkova/jifa
Description: Eclipse Jifa