GitHub repository: Hensoldt-Cyber/capdl
Primary language: Haskell
Description: Capability Distribution Language tools for seL4