GitHub repository: opprop/security-demo
Primary language: Java
Created: 2019-01-14T22:20:51Z
Description: Demo type system with a simple security lattice.