GitHub repository: piyush-J/security-demo
Primary language: Java
Description: Demo type system with a simple security lattice.