GitHub repository: prg-grp/je-lang
Primary language: Java
Description: The J<sub>E</sub> Secure Programming Language