macOS
brew install smlnjlocal Homebrew formula metadata
sudo port install smlnjMacPorts ports tree · lang/smlnj/Portfile · source: api.github.com
brew / rang 5323
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de smlnj pour les workflows d'agents IA.
installation
sudo av install brew:smlnjbrew install smlnjlocal Homebrew formula metadata
sudo port install smlnjMacPorts ports tree · lang/smlnj/Portfile · source: api.github.com
nix profile install nixpkgs#smlnjnixpkgs package indexes · smlnj · source: raw.githubusercontent.com
sudo pacman -S smlnjArch Linux sync databases · smlnj · source: geo.mirror.pkgbuild.com
sudo apt install libckit-smlnjUbuntu 24.04 LTS package indexes · libckit-smlnj · source: archive.ubuntu.com
sudo zypper install smlnjopenSUSE Tumbleweed package metadata · smlnj · source: download.opensuse.org
aperçu
Compiler and programming system for Standard ML
posture de sécurité
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
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.
exécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
asdlgen | cli | global executable | |
heap2exec | cli | global executable | |
ml-antlr | cli | global executable | |
ml-build | cli | global executable | |
ml-burg | cli | global executable | |
ml-makedepend | cli | global executable | |
ml-ulex | cli | global executable | |
ml-yacc | cli | global executable | |
sml | cli | global executable |
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.
métadonnées d'installation
| Package key | brew:smlnj |
|---|---|
| Version | 2026.1 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/smlnj |
| Homepage | https://www.smlnj.org/ |
| Repository | https://github.com/smlnj/smlnj |
| Upstream docs | https://github.com/smlnj/smlnj#readme |
| License | BSD-3-Clause |
| Source archive | https://smlnj.org/dist/working/2026.1/smlnj-arm64-unix-2026.1.tgz |
| Last updated | 2026-05-06T15:28:01Z |
| Pulse | updated |
| Build dependencies | autoconf, cmake, python@3.14 |
| Uses from macOS | zlib |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | smlnj |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
smlnj
nix profile install nixpkgs#smlnjlibckit-smlnj 110.79-8build1
SML library for parsing and type-checking C programs
sudo apt install libckit-smlnjlibcml-smlnj 110.79-8build1
Concurrent ML extension of SML
sudo apt install libcml-smlnjlibcmlutil-smlnj 110.79-8build1
Concurrent ML utility library
sudo apt install libcmlutil-smlnjlibexene-smlnj 110.79-8build1
Concurrent ML library for the X Window System
sudo apt install libexene-smlnjlibmlnlffi-smlnj 110.79-8build1
No Longer Foreign Function Interface
sudo apt install libmlnlffi-smlnjlibmlrisctools-smlnj 110.79-8build1
Library for generating MLRISC modules
sudo apt install libmlrisctools-smlnjlibpgraphutil-smlnj 110.79-8build1
Portable graph utility library for SML Compilation Manager
sudo apt install libpgraphutil-smlnjlibsmlnj-smlnj 110.79-8build1
Useful libraries for Standard ML of New Jersey
sudo apt install libsmlnj-smlnjml-burg 110.79-8build1
Code generator for Standard ML
sudo apt install ml-burgml-lex 110.79-8build1
Lexical analyzer generator for Standard ML
sudo apt install ml-lexml-lpt 110.79-8build1
SML/NJ language processing tools
sudo apt install ml-lptml-nlffigen 110.79-8build1
ML generator for C glue code
sudo apt install ml-nlffigenml-yacc 110.79-8build1
Parser generator for Standard ML
sudo apt install ml-yaccnowhere 110.79-8build1
Translates programs from an extended Standard ML to Standard ML
sudo apt install nowheresmlnj 110.79-8build1
Standard ML of New Jersey interactive compiler
sudo apt install smlnjpiste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.