cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Create a benchmark suite

Open ordinarymath opened this issue 11 months ago • 0 comments

As stated in the title. The plan is to port over benchmarks from ocaml/sandmark and haskell/nofib. The benchmarks will be stored in a separate repository under the cakeml namespace.

ordinarymath avatar Jan 26 '25 07:01 ordinarymath