mlprof

Optimizing compiler for Standard ML - tools

Install

All systems
curl cmd.cat/mlprof.sh
Debian Debian
apt-get install mlton-tools
Ubuntu
apt-get install mlton-tools
Arch Arch Linux
pacman -S mlton
image/svg+xml Kali Linux
apt-get install mlton-tools
Fedora
dnf install mlton
Windows (WSL2)
sudo apt-get update sudo apt-get install mlton-tools
OS X
brew install mlton
Raspbian
apt-get install mlton
Dockerfile
dockerfile.run/mlprof

mlton-tools

Optimizing compiler for Standard ML - tools

MLton is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries. This package includes tools which autogenerate SML.

mlton

Optimizing compiler for Standard ML

MLton is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries. This metapackage depends on all MLton packages.