Automic VaultAutomic Vault

brew

Install mlkit with Homebrew, Nix

Compiler for the Standard ML programming language. Version 4.7.14 via Homebrew; verified 2026-06-13.

Install commandSecurity notes

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

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.

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 post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 3 platform targets.
  • Installs with 1 runtime dependencies.
  • Build metadata lists 2 build dependencies.

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

CommandKindExposureNote
kittestercliglobal executable
mlkitcliglobal executable
mlkit-mllexcliglobal executable
mlkit-mlyacccliglobal executable
remlcliglobal executable
rp2pscliglobal executable

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-07-08
manager version4.7.14
manager updated2026-06-13
local dataok
upstreamcurrent
latest detectedv4.7.14

https://github.com/melsman/mlkit

  • okNo freshness warnings were generated.

install metadata

Package metadata

Package keybrew:mlkit
Version4.7.14
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/mlkit
Homepagehttps://melsman.github.io/mlkit
Repositoryhttps://github.com/melsman/mlkit
Upstream docshttps://elsman.com/mlkit
LicenseGPL-2.0-or-later
Source archivehttps://github.com/melsman/mlkit/archive/refs/tags/v4.7.14.tar.gz
Last updated2026-06-13T23:35:05+02:00
Pulseupdated
Dependenciesgmp
Build dependenciesautoconf, mlton
Bottleavailable (on sonoma, ventura, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namemlkit
Version Scheme0
Revision0
Head VersionHEAD
Requirements
  • arch
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedyes
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

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.

Related tools

  • autoconfBuild dependency declared by Homebrew.
  • mltonBuild dependency declared by Homebrew.

Same workflow

  • smlnjShares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
  • futharkShares av.db curated category or tags: cli, compiler, compilers, language-runtime, programming-language.
  • gnucobolShares av.db curated category or tags: cli, compiler, compilers, language-runtime, programming-language.
  • fpcShares av.db curated category or tags: cli, compiler, compilers, language-runtime.
  • gccShares av.db curated category or tags: cli, compiler, compilers, language-runtime.
  • ispcShares av.db curated category or tags: cli, compiler, compilers, language-runtime.

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.

Used sources

  • 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