GitHub repository: ku-sldg/copland
Description: All things related to the Copland attestation protocol language and its derivatives.