GitHub repository: GaloisInc/asmeta
Primary language: Java
Description: asmeta main repository with code and examples