GitHub repository: xingweitian/immutability
Primary language: Java
Description: Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability