GitHub repository: pure4j/pure4j
Primary language: Java
Description: Compile-Time Purity and Immutability Semantics For The Java Language