# Install mlkit with Homebrew, Nix Compiler for the Standard ML programming language. Version 4.7.14 via Homebrew; verified 2026-06-13. ## Install ```sh sudo av install brew:mlkit ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install mlkit ``` Evidence: local Homebrew formula metadata ### Linux - Nix (92%): ```sh nix profile install nixpkgs#mlkit ``` Evidence: nixpkgs package indexes: pkgs/by-name/ml/mlkit/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Package facts - **Package key:** brew:mlkit - **Package manager:** Homebrew - **Package manager page:** - **Version:** 4.7.14 - **Source summary:** Compiler for the Standard ML programming language - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** GPL-2.0-or-later - **Source archive:** - **Last updated:** 2026-06-13T23:35:05+02:00 - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - kittester (cli) - mlkit (cli) - mlkit-mllex (cli) - mlkit-mlyacc (cli) - reml (cli) - rp2ps (cli) - kittester (alias) - mlkit (alias) - mlkit-mllex (alias) - mlkit-mlyacc (alias) - reml (alias) - rp2ps (alias) ## Dependencies - gmp ## Build dependencies - autoconf - mlton ## Install behavior - Post-install hook: not defined - Bottle: available on sonoma, ventura, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 4.7.14 - Package-manager updated: 2026-06-13 - Local data: ok - Upstream repository: https://github.com/melsman/mlkit - Upstream latest detected: v4.7.14 (current) ## 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 Notes generalized runtime or code generation signal. - **Geiger risk:** yellow / medium - generalized runtime or code generation signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** mlkit - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Requirements:** arch - **Bottle Stable Root URL:** - **Deprecated:** yes - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Nix - mlkit: normalized package name match | nixpkgs package indexes: pkgs/by-name/ml/mlkit/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [autoconf](https://www.automicvault.com/pkg/brew/autoconf/) - Build dependency declared by Homebrew. - [mlton](https://www.automicvault.com/pkg/brew/mlton/) - Build dependency declared by Homebrew. - [smlnj](https://www.automicvault.com/pkg/brew/smlnj/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml. - [futhark](https://www.automicvault.com/pkg/brew/futhark/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime, programming-language. - [gnucobol](https://www.automicvault.com/pkg/brew/gnucobol/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime, programming-language. - [fpc](https://www.automicvault.com/pkg/brew/fpc/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime. - [gcc](https://www.automicvault.com/pkg/brew/gcc/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime. - [ispc](https://www.automicvault.com/pkg/brew/ispc/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime. - [mosml](https://www.automicvault.com/pkg/brew/mosml/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml. - [polyml](https://www.automicvault.com/pkg/brew/polyml/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml. ## Combined YAML source View the package source record on GitHub. [combined/mlkit.yml](https://github.com/automic-vault/db/blob/main/combined/mlkit.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph