GitHub repository: DSbD-AppControl/capable-lang
Primary language: Idris
Description: A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.