A collection of libraries and utilities to be used with CakeML applications. - View it on GitHub