macOS
Homebrewverified · 100%
brew install smlnjlocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install smlnjMacPorts ports tree · lang/smlnj/Portfile · source: api.github.com
brew
Install smlnj with Homebrew, MacPorts, Nix, pacman, apt, zypper
Compiler and programming system for Standard ML. Version 2026.1 via Homebrew; verified 2026-06-21.
install
Additional install commands
Linux
Nixverified · 92%
nix profile install nixpkgs#smlnjnixpkgs package indexes · smlnj · source: raw.githubusercontent.com
Arch Linux pacmanverified · 92%
sudo pacman -S smlnjArch Linux sync databases · smlnj · source: geo.mirror.pkgbuild.com
Ubuntu aptverified · 92%
sudo apt install libckit-smlnjUbuntu 24.04 LTS package indexes · libckit-smlnj · source: archive.ubuntu.com
openSUSE zypperverified · 92%
sudo zypper install smlnjopenSUSE Tumbleweed package metadata · smlnj · source: download.opensuse.org
overview
Package summary
Compiler and programming system for Standard ML
Project links
Commands and aliases
- asdlgen
- heap2exec
- ml-antlr
- ml-build
- ml-burg
- ml-makedepend
- ml-ulex
- ml-yacc
- sml
history
Project history and usage
Standard ML of New Jersey is a compiler, interactive system, and programming environment for the Standard ML language.
Project history
The official background page says SML/NJ was originally developed jointly at Bell Laboratories and Princeton University and later became a joint research project involving Bell Labs, Lucent Technologies, Princeton, Yale, and AT&T Research.
The current official site describes SML/NJ as free, open-source software with associated libraries, tools, and documentation. Its GitHub README identifies the main repository as the active development tree and recommends the legacy version for production use.
Adoption history
The official background page notes SML/NJ use in large systems in applied logic, verification, program analysis, and advanced compilers.
The project has remained packaged across Unix-like package managers, with Homebrew, MacPorts, Nix, Arch, Ubuntu, and openSUSE names present in the input package facts.
How it is used
Users typically enter the `sml` interactive system or use the included build and language-processing tools such as `ml-yacc`, `ml-lex` successors, `ml-ulex`, `ml-antlr`, and `ml-build`.
The official User's Guide documents installation, the interactive system, the Compilation Manager, SML/NJ libraries, and programming tools.
Why package nerds care
SML/NJ is a long-lived compiler distribution with an unusually rich toolchain: compiler, runtime, libraries, parser and lexer generators, compilation manager, and documentation.
For package maintainers, it is significant because it spans legacy and development release lines, platform-specific installers, boot files, and source builds.
Timeline
- 1996: Official background page identifies SML/NJ as a Bell Labs and Princeton-origin compiler and environment.
- 2002: Official version index lists release 110.42.
- 2022: Official news says the project began migrating source and bug tracking to GitHub.
- 2025: Official version index lists release 110.99.9.
- 2026: Official news lists development release 2026.1.
Related projects
- Related official components include the SML/NJ Library, Compilation Manager, Concurrent ML, eXene, ML-Lex, ML-Yacc, ML-LPT, and the Standard ML Basis Library.
- The GitHub README notes that the development tree uses a customized LLVM library as a submodule.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Build metadata lists 3 build dependencies.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | 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 |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version2026.1
manager updated2026-06-21
local dataok
upstreamnot checked
latest detectednot detected
- infoRelease/tag comparison is only available for GitHub repositories.https://www.smlnj.org/none confidence
install metadata
Package metadata
| 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-06-21T00:20:16Z |
| Pulse | updated |
| Build dependencies | autoconf, cmake, python@3.14 |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| 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
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
Nix95%
smlnj
nix profile install nixpkgs#smlnj- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libckit-smlnj 110.79-8build1
SML library for parsing and type-checking C programs
sudo apt install libckit-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libcml-smlnj 110.79-8build1
Concurrent ML extension of SML
sudo apt install libcml-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libcmlutil-smlnj 110.79-8build1
Concurrent ML utility library
sudo apt install libcmlutil-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libexene-smlnj 110.79-8build1
Concurrent ML library for the X Window System
sudo apt install libexene-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 2 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libmlnlffi-smlnj 110.79-8build1
No Longer Foreign Function Interface
sudo apt install libmlnlffi-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- 1 optional deps
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libmlrisctools-smlnj 110.79-8build1
Library for generating MLRISC modules
sudo apt install libmlrisctools-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libpgraphutil-smlnj 110.79-8build1
Portable graph utility library for SML Compilation Manager
sudo apt install libpgraphutil-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
libsmlnj-smlnj 110.79-8build1
Useful libraries for Standard ML of New Jersey
sudo apt install libsmlnj-smlnj- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
ml-burg 110.79-8build1
Code generator for Standard ML
sudo apt install ml-burg- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
ml-lex 110.79-8build1
Lexical analyzer generator for Standard ML
sudo apt install ml-lex- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
ml-lpt 110.79-8build1
SML/NJ language processing tools
sudo apt install ml-lpt- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- 2 provides
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
ml-nlffigen 110.79-8build1
ML generator for C glue code
sudo apt install ml-nlffigen- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 2 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
ml-yacc 110.79-8build1
Parser generator for Standard ML
sudo apt install ml-yacc- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
nowhere 110.79-8build1
Translates programs from an extended Standard ML to Standard ML
sudo apt install nowhere- Section: universe/devel
- Architecture: amd64
- Source Package: smlnj
- 1 dependencies
- normalized package name match
- Matched by: Smlnj
Ubuntu apt95%
smlnj 110.79-8build1
Standard ML of New Jersey interactive compiler
sudo apt install smlnj- Section: universe/devel
- Architecture: amd64
- 1 dependencies
- 2 optional deps
- normalized package name match
- Matched by: Smlnj
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment