# mlkit を Homebrew, Nix でインストール

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
- **バージョン:** 4.7.22
- **ソース概要:** Compiler for the Standard ML programming language
- **ホームページ:** <https://melsman.github.io/mlkit>
- **リポジトリ:** <https://github.com/melsman/mlkit>
- **最終更新:** 2026-08-02T08:56:40Z
- **生成日時:** 2026-08-03T19:37:03+00:00

## 実行可能ファイル

- kittester (エイリアス)
- mlkit (エイリアス)
- mlkit-mllex (エイリアス)
- mlkit-mlyacc (エイリアス)
- reml (エイリアス)
- rp2ps (エイリアス)

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-03
- マネージャ版: 4.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

## 他のパッケージマネージャ記録

- 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


## 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
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph
