trustworthysystems/prebuilt_cakeml repository overview

⁠Trustworthy Systems: cakeml docker image

This image contains all the tools and dependencies to build cakeml.

⁠Variations

To keep images as small as possible, we provide a number of variations that have additional software built in. Here is a list of all the images based off the cakeml image:

• trustworthysystems/prebuilt_cakeml⁠

⁠Usage

We recommend using our Makefile for the best user experience. You can find out more about that on our GitHub page⁠.