macOS
Homebrewverified · 100%
brew install mosmllocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install mosmlMacPorts ports tree · lang/mosml/Portfile · source: api.github.com
brew / rank 13944
Install mosml with Homebrew, MacPorts, Nix
Moscow ML. Version 2.10.1 via Homebrew; verified from local package data. Also installable with nix: nix profile install nixpkgs#mosml.
install
Additional install commands
Linux
Nixverified · 92%
nix profile install nixpkgs#mosmlnixpkgs package indexes · pkgs/by-name/mo/mosml/package.nix · source: api.github.com
overview
Package summary
Moscow ML
Project links
Commands and aliases
- camlrunm
- mosml
- mosmlc
- mosmllex
- mosmlyac
history
Project history and usage
Moscow ML is a lightweight implementation of Standard ML. Its project history credits Sergei Romanenko at the Keldysh Institute of Applied Mathematics, Claudio Russo, Niels Kokholm, Ken Friis Larsen, and Peter Sestoft, and notes that it uses the runtime system and many ideas from Xavier Leroy and Damien Doligez's Caml Light implementation.
Project history
The Moscow ML manual describes version 2.10 as implementing SML as revised in the 1997 Definition, including the SML Modules language, some extensions, much of the SML Basis Library, separate compilation, and generation of standalone executables. The manual also highlights the Moscow ML Modules language, with features such as higher-order functors and other extensions while preserving compatibility goals for SML programs.
How it is used
Its adoption niche is language education, research, and maintenance of older SML code that benefits from a small interactive system and bytecode compiler. In Homebrew and other package managers, mosml provides the classic Moscow ML toolchain rather than a general-purpose modern ML ecosystem.
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 bottle metadata was recorded.
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 |
|---|---|---|---|
camlrunm | executable | indexed executable | Discovered from the local executable index. |
mosml | executable | indexed executable | Discovered from the local executable index. |
mosmlc | executable | indexed executable | Discovered from the local executable index. |
mosmllex | executable | indexed executable | Discovered from the local executable index. |
mosmlyac | executable | indexed executable | Discovered from the local executable index. |
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-08-03
manager version2.10.1
manager updated
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:mosml |
|---|---|
| Version | 2.10.1 |
| Package manager | Homebrew |
| Homepage | https://mosml.org/ |
| Repository | https://github.com/kfl/mosml |
| Bottle | not recorded |
| Service | none declared |
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%
mosml
nix profile install nixpkgs#mosml- normalized package name match
- Matched by: Mosml
MacPorts95%
mosml
sudo port install mosml- normalized package name match
- Matched by: Mosml
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
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation