GitHub repository: kframework/java-semantics
Primary language: Java
Description: The semantics of Java in K