# 使用 Homebrew, Nix 安装 mlkit

查看 mlkit 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:mlkit
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install mlkit
```

  证据: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#mlkit
```

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

## 软件包事实

- **软件包键:** brew:mlkit
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/mlkit>
- **版本:** 4.7.22
- **来源摘要:** Compiler for the Standard ML programming language
- **主页:** <https://melsman.github.io/mlkit>
- **仓库:** <https://github.com/melsman/mlkit>
- **上游文档:** <https://melsman.github.io/mlkit>
- **许可证:** GPL-2.0-or-later
- **源码归档:** <https://github.com/melsman/mlkit/archive/refs/tags/v4.7.22.tar.gz>
- **最后更新:** 2026-08-02T08:56:40Z
- **已生成:** 2026-08-04T22:13:35+00:00

## 可执行文件

- kittester (cli)
- mlkit (cli)
- mlkit-mllex (cli)
- mlkit-mlyacc (cli)
- reml (cli)
- rp2ps (cli)
- kittester (别名)
- mlkit (别名)
- mlkit-mllex (别名)
- mlkit-mlyacc (别名)
- reml (别名)
- rp2ps (别名)

## 依赖

- gmp

## 构建依赖

- autoconf
- mlton

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 sonoma, x86_64_linux

## 版本和新鲜度

- 页面生成时间: 2026-08-04
- 管理器版本: 4.7.22
- 管理器更新时间: 2026-08-02
- 本地数据: OK
- 上游仓库: https://github.com/melsman/mlkit
- 检测到的最新版本: v4.7.22 (当前)
## 项目历史与用法

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.

### 项目历史

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.

### 使用方式

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.

### 来源

- <https://elsman.com/mlkit/papers>
- <https://elsman.com/mlkit/pdf/kit.pdf>
- <https://formulae.brew.sh/formula/mlkit>
- <https://github.com/melsman/mlkit>
- <https://groups.google.com/g/comp.compilers/c/my2OjNZxT20>
- <https://raw.githubusercontent.com/melsman/mlkit/master/README.md>


## 安全说明

generalized runtime or code generation signal.

- **Geiger 风险:** yellow / 中
- generalized runtime or code generation signal

## 源数据库详情

- **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:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** yes
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## 其他软件包管理器记录

- 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


## 相关链接

- [Source-control packages](https://pkg.so/zh-hans/source-control-tools/) - Belongs to a source-control command family.
- [Secret-risk packages](https://pkg.so/zh-hans/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [autoconf](https://pkg.so/zh-hans/brew/autoconf/) - Build dependency declared by Homebrew.
- [mlton](https://pkg.so/zh-hans/brew/mlton/) - Build dependency declared by Homebrew.
- [smlnj](https://pkg.so/zh-hans/brew/smlnj/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
- [polyml](https://pkg.so/zh-hans/brew/polyml/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
- [mosml](https://pkg.so/zh-hans/brew/mosml/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
- [go](https://pkg.so/zh-hans/brew/go/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [rust](https://pkg.so/zh-hans/brew/rust/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [lua](https://pkg.so/zh-hans/brew/lua/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [zig](https://pkg.so/zh-hans/brew/zig/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.
- [dart-sdk](https://pkg.so/zh-hans/brew/dart-sdk/) - Shares pkgdb curated category or tags: cli, compiler, language-runtime, programming-language.

## Combined YAML source

View the package source record on GitHub. [combined/mlkit.yml](https://github.com/mxcl/pkgdb/blob/main/combined/mlkit.yml)


## 来源

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