GitHub repository: lceragioli/SELinuxIFCIL
Primary language: OCaml
Description: A SELinux configuration language that extends CIL with information flow requirements: compiler and verifier