GitHub repository: rems-project/coq-cheri-capabilities
Primary language: Coq
Description: This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.