GitHub repository: rudi/abstools
Primary language: Java
Description: The ABS modeling language and surrounding tools