GitHub repository: maximiliani/idoris
Primary language: Java
Description: An Integrated Data Type and Operations Registry with Inheritance System