GitHub repository: seL4/cakeml_libs
Primary language: Standard ML
Description: A collection of libraries and utilities to be used with CakeML applications.