GitHub repository: zaklogician/libmantle
Primary language: Python
Created: 2023-07-19T00:23:50Z
Description: Safe Austral APIs for your seL4 Core Platform projects.