Automic VaultAutomic Vault

brew

mlton mit Homebrew, dnf, MacPorts, Nix, pacman, apt installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für mlton in AI-Agent-Workflows.

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install mlton

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install mlton

MacPorts ports tree · lang/mlton/Portfile · Quelle: api.github.com

Linux

Fedora dnfverifiziert · 92%
sudo dnf install mlton

Fedora Rawhide package metadata · mlton · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%
nix profile install nixpkgs#mlton

nixpkgs package indexes · mlton · Quelle: raw.githubusercontent.com

Arch Linux pacmanverifiziert · 92%
sudo pacman -S mlton

Arch Linux sync databases · mlton · Quelle: geo.mirror.pkgbuild.com

Ubuntu aptverifiziert · 92%
sudo apt install mlton

Ubuntu 24.04 LTS package indexes · mlton · Quelle: archive.ubuntu.com

Überblick

Paketzusammenfassung

Whole-program, optimizing compiler for Standard ML

Befehle und Aliase

  • mllex
  • mlnlffigen
  • mlprof
  • mlton
  • mlyacc

Verlauf

Projektgeschichte und Nutzung

MLton grew out of Standard ML compiler research in the late 1990s. The project history traces its start to April 1997, when Stephen Weeks wrote a defunctorizer for Standard ML and integrated it with SML/NJ. That origin explains the shape of the compiler: MLton is not an interactive SML environment, but a whole-program compiler that takes the complete program as input and uses that global view for optimization.

Projektgeschichte

The project became known in the Standard ML community for aggressive whole-program optimization and standalone native executables. Its own repository describes support for SML97, a complete Standard ML Basis Library, the ML Basis system, a C foreign-function interface, source-level profiling, mllex, mlyacc, and mlnlffigen. The implementation emphasizes small executables and runtime performance through unboxed representations, native arrays, GMP-backed arbitrary precision arithmetic, multiple code generators, and multiple garbage-collection strategies.

Wie es verwendet wird

In package-manager terms, MLton occupies the serious native-code SML compiler niche alongside SML/NJ, Poly/ML, and MLKit rather than the lightweight scripting or teaching niche. It is used when SML code needs to be compiled into fast standalone programs, when whole-program analysis is useful, or when tools from the MLton distribution such as mllex, mlyacc, and mlprof are part of the workflow.

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 8 Plattformziele verfügbar.
  • Installiert mit 1 Laufzeitabhängigkeiten.
  • Build-Metadaten listen 2 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
mllexcliglobales Executable
mlnlffigencliglobales Executable
mlprofcliglobales Executable
mltoncliglobales Executable
mlyacccliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-25
Manager-Version20241230
Manager aktualisiert2026-06-22
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

http://mlton.org

  • InfoRelease/tag comparison is only available for GitHub repositories.http://mlton.orgnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:mlton
Version20241230
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/mlton
Homepagehttp://mlton.org
Repositoryhttps://github.com/MLton/mlton
Upstream-Dokumentationhttps://www.mlton.org/Documentation
LizenzHPND
Quellarchivhttps://downloads.sourceforge.net/project/mlton/mlton/20241230/mlton-20241230.src.tgz
Zuletzt aktualisiert2026-06-22T14:05:30-07:00
Pulseupdated
Abhängigkeitengmp
Build-Abhängigkeitenautoconf, automake
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namemlton
Version Scheme1
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

mlton

nix profile install nixpkgs#mlton
  • normalized package name match
  • Abgeglichen nach: Mlton
nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: mlton from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
Ubuntu apt95%

mlton 20210117+dfsg-3

Optimizing compiler for Standard ML

http://mlton.org/

sudo apt install mlton
  • Section: universe/devel
  • Architecture: all
  • 2 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-basis 20210117+dfsg-3

Optimizing compiler for Standard ML - basis library

http://mlton.org/

sudo apt install mlton-basis
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: mlton
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-basis from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-compiler 20210117+dfsg-3

Optimizing compiler for Standard ML - compiler

http://mlton.org/

sudo apt install mlton-compiler
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: mlton
  • 7 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-compiler from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-doc 20210117+dfsg-3

Optimizing compiler for Standard ML - documentation

http://mlton.org/

sudo apt install mlton-doc
  • Section: universe/doc
  • Architecture: all
  • Source Package: mlton
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-runtime-native 20210117+dfsg-3

Optimizing compiler for Standard ML - native runtime libraries

http://mlton.org/

sudo apt install mlton-runtime-native
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: mlton
  • 1 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-runtime-native from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-runtime-x86-64-linux-gnu 20210117+dfsg-3

Optimizing compiler for Standard ML - amd64 runtime libraries

http://mlton.org/

sudo apt install mlton-runtime-x86-64-linux-gnu
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: mlton
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-runtime-x86-64-linux-gnu from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

mlton-tools 20210117+dfsg-3

Optimizing compiler for Standard ML - tools

http://mlton.org/

sudo apt install mlton-tools
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: mlton
  • 2 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Mlton
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: mlton-tools from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
dnf95%

mlton 20210117-12.fc44

Optimizing compiler for Standard ML

http://mlton.org/

sudo dnf install mlton
  • License: MIT
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: mlton
  • 8 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Mlton
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: mlton from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
pacman95%

mlton 20241230-1

Whole-program optimizing Standard ML compiler

http://mlton.org/

sudo pacman -S mlton
  • License: HPND AND MIT
  • Architecture: x86_64
  • 1 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Mlton
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: mlton from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
MacPorts95%

mlton

sudo port install mlton
  • normalized package name match
  • Abgeglichen nach: Mlton
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/mlton/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment