install

Additional install commands

macOS

Homebrewverified · 100%

brew install mosml

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install mosml

MacPorts ports tree · lang/mosml/Portfile · source: api.github.com

Linux

Nixverified · 92%

nix profile install nixpkgs#mosml

nixpkgs 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 post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 13 platform targets.
Installs with 1 runtime 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
`camlrunm`	cli	global executable
`mosml`	cli	global executable
`mosmlc`	cli	global executable
`mosmllex`	cli	global executable
`mosmlyac`	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 version2.10.1

manager updated

local dataok

upstreamnot checked

latest detectednot detected

https://github.com/kfl/mosml

infoNo package-manager update timestamp was available.low confidence
infoNo cached GitHub release or tag data was available.https://github.com/kfl/mosmlnone confidence

install metadata

Package metadata

Package key	brew:mosml
Version	2.10.1
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/mosml
Homepage	https://mosml.org/
Repository	https://github.com/kfl/mosml
Upstream docs	https://mosml.org/
License	GPL-2.0-or-later
Source archive	https://github.com/kfl/mosml/archive/refs/tags/ver-2.10.1.tar.gz
Dependencies	gmp
Bottle	available (on arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, 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	mosml
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

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

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

MacPorts95%

mosml

sudo port install mosml

normalized package name match
Matched by: Mosml

MacPorts ports tree · api.github.com · MacPorts ports tree: lang/mosml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

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.

combined/mosml.yml

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

Install mosml with Homebrew, MacPorts, Nix