Automic VaultAutomic Vault

brew

Installer millet avec Homebrew, Nix

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

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install millet

local Homebrew formula metadata

Linux

Nixvérifié · 92%
nix profile install nixpkgs#millet

nixpkgs package indexes · pkgs/by-name/mi/millet/package.nix · Source: api.github.com

aperçu

Résumé du paquet

Language server for Standard ML (SML)

Commandes et alias

  • millet-ls

historique

Historique du projet et usages

Millet is a Rust language server for Standard ML by Andrew Davis. Davis introduced it publicly in a July 2, 2022 blog post, explaining that the idea came from his experience as a Carnegie Mellon undergraduate and teaching assistant for 15-150, an introductory functional programming course taught in Standard ML. The original motivation was to reduce the friction of compiler-error loops and give SML programmers editor feedback similar to modern language ecosystems.

Historique du projet

The same development narrative describes an early 2020 first attempt, a dormant period, and a May 2022 revival after Davis saw interest from a CMU student Discord. The revived implementation was rewritten around language-server needs: partial and malformed code should still produce useful diagnostics, and the project split the old code into crates, modernized tests, and replaced the earlier design with a more robust implementation.

Historique d'adoption

Millet's practical role is editor tooling for a niche language rather than a general compiler. Its README says it analyzes SML without running it and offers inline diagnostics, hover type and documentation, inlay hints, jump to definition, completions, code actions, document symbols, and find references. It understands multi-file projects through SML/NJ Compilation Manager files and ML Basis files, with configuration through `millet.toml`, VS Code settings, language-server initialization, and ML Basis annotations.

Modes d'utilisation

The package-manager niche is small but useful: official distribution includes a VS Code extension, Open VSX publication, and GitHub release binaries, while community packaging includes Homebrew, Nixpkgs, and AUR. It sits alongside SML/NJ and MLton rather than replacing them; users still need an SML implementation to run code, while Millet supplies the language-server layer for VS Code-compatible editors and other LSP-capable editors.

posture de sécurité

Niveau de risque : blue

broad file, network, media, or database tool signal.

Classificateur de risque

risque blue · confiance moyen · tool

Pourquoi

  • broad file, network, media, or database tool signal

Signaux

  • text:server

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
  • Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

local files

Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.

Configuration files

Config paths the tool may read or write during local use.

Unix
millet.toml in workspace root

exécutables

Exécutables installés

CommandeTypeExpositionNote
millet-lscliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-25
version du gestionnaire0.15.2
gestionnaire mis à jour2026-06-15
données localesOK
amontà jour
dernière version détectéev0.15.2

https://github.com/azdavis/millet

  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:millet
Version0.15.2
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/millet
Page d'accueilhttps://github.com/azdavis/millet
Dépôthttps://github.com/azdavis/millet
Docs amonthttps://github.com/azdavis/millet
LicenceApache-2.0 OR MIT
Archive sourcehttps://github.com/azdavis/millet/archive/refs/tags/v0.15.2.tar.gz
Dernière mise à jour2026-06-15T08:18:09Z
Pulseupdated
Dépendances de compilationrust
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

millet

nix profile install nixpkgs#millet
  • normalized package name match
  • Correspondance par : Millet
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/mi/millet/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment