# Installer mlkit avec Homebrew, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mlkit pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install mlkit
```

  Preuve: local Homebrew formula metadata

### Linux

- Nix (92%):

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

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

## Faits du paquet

- **Clé du paquet:** brew:mlkit
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/mlkit>
- **Version:** 4.7.22
- **Résumé source:** Compiler for the Standard ML programming language
- **Page d'accueil:** <https://melsman.github.io/mlkit>
- **Dépôt:** <https://github.com/melsman/mlkit>
- **Docs amont:** <https://melsman.github.io/mlkit>
- **Licence:** GPL-2.0-or-later
- **Archive source:** <https://github.com/melsman/mlkit/archive/refs/tags/v4.7.22.tar.gz>
- **Dernière mise à jour:** 2026-08-02T08:56:40Z
- **Généré:** 2026-08-04T22:13:35+00:00

## exécutables

- 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)

## Dépendances

- gmp

## Dépendances de compilation

- autoconf
- mlton

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur sonoma, x86_64_linux

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 4.7.22
- gestionnaire mis à jour: 2026-08-02
- données locales: OK
- dépôt amont: https://github.com/melsman/mlkit
- dernière version détectée: v4.7.22 (à jour)
## Historique du projet et usages

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.

### Historique du projet

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.

### Modes d'utilisation

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

- <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>


## Notes de sécurité

generalized runtime or code generation signal.

- **Risque Geiger:** yellow / moyen
- generalized runtime or code generation signal

## Détails de la base source

- **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

## Autres enregistrements de gestionnaires de paquets

- 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


## Liens liés

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


## Sources

- 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
