install

Additional install commands

macOS

Homebrewverified · 100%

brew install mlkit

local Homebrew formula metadata

Linux

Nixverified · 92%

nix profile install nixpkgs#mlkit

nixpkgs package indexes · pkgs/by-name/ml/mlkit/package.nix · source: api.github.com

overview

Package summary

Compiler for the Standard ML programming language

Project links

Commands and aliases

kittester
mlkit
mlkit-mllex
mlkit-mlyacc
reml
rp2ps

history

Project history and usage

MLKit descends from The ML Kit, Version 1, announced by Mads Tofte on 1993-03-12 and attributed there to Nick Rothwell, David N. Turner, Mads Tofte, and Lars Birkedal at Edinburgh and Copenhagen Universities. That early release was distributed with about 100 pages of documentation explaining how to build, run, read, and modify the Kit, making it both a Standard ML implementation and a compiler-hacking vehicle.

Project history

The later MLKit project became a compiler toolkit for Standard ML with two main compiler paths sharing a frontend and compilation-management scheme: MLKit with Regions, with a native x64 backend based on region inference, and SMLtoJs, a JavaScript backend for browser-targeted Standard ML. Its documentation says it covers all of Standard ML from the 1997 Definition and most of the Standard ML Basis Library.

How it is used

MLKit's distinctive technical role is region-based memory management for ML. The project documentation describes compiler-inferred allocation and deallocation directives, region profiling, C interoperation, and optional reference-tracing garbage collection on top of region inference. In practice it is used both as an SML compiler and as a research/development tool for region inference, SML-to-JavaScript compilation, bootstrapping, ML Basis files, and compatibility work alongside tools such as MLton and smlpkg.

Sources

security posture

Risk level: yellow

generalized runtime or code generation signal.

Risk classifier

yellow risk · medium confidence · runtime

Why

generalized runtime or code generation signal

Signals

text:programming language

Install behavior

No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure	Note
`kittester`	executable	indexed executable	Discovered from the local executable index.
`mlkit`	executable	indexed executable	Discovered from the local executable index.
`mlkit-mllex`	executable	indexed executable	Discovered from the local executable index.
`mlkit-mlyacc`	executable	indexed executable	Discovered from the local executable index.
`reml`	executable	indexed executable	Discovered from the local executable index.
`rp2ps`	executable	indexed executable	Discovered from the local executable index.

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-03

manager version4.7.22

manager updated2026-08-02

local dataunknown

upstreamnot available

latest detectednot detected

okNo freshness warnings were generated.

install metadata

Package metadata

Package key	brew:mlkit
Version	4.7.22
Package manager	Homebrew
Homepage	https://melsman.github.io/mlkit
Repository	https://github.com/melsman/mlkit
Last updated	2026-08-02T08:56:40Z
Pulse	updated
Bottle	not recorded
Service	none declared

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

mlkit

nix profile install nixpkgs#mlkit

normalized package name match
Matched by: Mlkit

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ml/mlkit/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/mlkit.yml

Used sources

Geiger risk classifier
cross-ecosystem install command graph
curated package history
external package-manager database matches
pkg.so package database
pkgdb category and tag curation

Install mlkit with Homebrew, Nix