GitHub repository: IEMLdev/ieml-reasoner
Primary language: Java
Description: A reasoner on the IEML language for coverage and consistency enhancements, and more.