GitHub repository: ku-sldg/copland-avm
Primary language: Coq
Description: Copland Attestation Virtual Machine definition and tools