GitHub repository: zsolttabi/while-small-step
Primary language: Java
Description: formal semantics of While language