GitHub repository: liufengyun/stoic
Primary language: Coq
Description: a capability-based system