GitHub repository: twosixlabs/V3SPA
Primary language: CoffeeScript
Description: Verification Validation and Visualization of Security Policy Abstractions