This directory contains benchmark programs that we use to measure the performance of the generated CakeML programs.