Benchmarking Repo

These benchmarks use MLton and CakeML.

Requirements

• Note this currently depends on mlton in PATH

Run

download_cakeml.py   # downloads/builds CakeML NOTE requires internet access and a cc compiler to link CakeML
compile2.py          # compiles benchmarks
bench_csv.py         # runs benchmarks -> CSV
bench_graph.py       # creates graph.png

Customization See config.py

Known issues

The graph doesn't have error bars

Copyright information

Some benchmarks are from the smlnj benchmark repo see https://github.com/smlnj/benchmarks see smlnj-license

some benchmarks are ports of ocaml benchmarks from

https://salsa.debian.org/benchmarksgame-team/benchmarksgame/

Some benchmarks are from https://github.com/MLton/mlton see mlton-license