macOS
Homebrewverified · 100%
brew install polymllocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · source: api.github.com
brew / rank 8933
Install polyml with Homebrew, apk, dnf, MacPorts, Nix, pacman, apt
Standard ML implementation. Version 5.9.2 via Homebrew; verified 2026-09-13. Also installable with nix: nix profile install nixpkgs#polyml.
install
Additional install commands
Linux
Alpine Linux apkverified · 92%
sudo apk add polymlAlpine Linux edge package indexes · polyml · source: dl-cdn.alpinelinux.org
Fedora dnfverified · 92%
sudo dnf install polymlFedora Rawhide package metadata · polyml · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#polymlnixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S polymlArch Linux sync databases · polyml · source: geo.mirror.pkgbuild.com
Ubuntu aptverified · 92%
sudo apt install polymlUbuntu 24.04 LTS package indexes · polyml · source: archive.ubuntu.com
overview
Package summary
Standard ML implementation
Project links
Commands and aliases
- poly
- polyc
- polyimport
history
Project history and usage
Poly/ML is a long-running implementation of Standard ML with an interactive environment, native-code compiler, debugger, Basis Library, threading support, and foreign-function interface.
Project history
David Matthews originally wrote the system at Cambridge University's Computer Laboratory in the experimental Poly language. It was subsequently developed by Abstract Hardware Limited and translated into Standard ML.
Cambridge University Technical Services reacquired the rights in 1999 and agreed to make Poly/ML freely available. Later work implemented the Standard Basis Library, completed support for the revised Standard ML definition, and rewrote the runtime system.
Adoption history
Poly/ML became closely associated with large formal-methods systems. The official site names Isabelle and HOL4 as major projects for which it is a preferred implementation.
How it is used
Run `poly` for an interactive Standard ML session, load source into the top level during development, or use the compiler and export facilities to build applications. It is particularly common in theorem-proving and other large Standard ML codebases.
Why package nerds care
Poly/ML is one of the durable Standard ML implementations available through general-purpose package managers. It is especially notable for combining an interactive top level and fast native-code compiler with threads, garbage-collector multiprocessor support, debugging, and foreign-function facilities.
For language-runtime collectors, Poly/ML represents a distinct Standard ML niche: SML/NJ emphasizes an interactive programming environment, while MLton specializes in whole-program optimization. Poly/ML's continued use by theorem provers gives it relevance beyond language preservation.
Timeline
- 1980s: David Matthews develops the original Poly system at Cambridge.
- 1999: Cambridge University Technical Services reacquires the rights and makes Poly/ML freely available.
- 2000s: The runtime is rewritten and the system gains full support for revised Standard ML.
Related projects
- Isabelle and HOL4 are prominent theorem-proving systems documented by Poly/ML as large projects using the runtime.
- SML/NJ and MLton are the most directly useful packaged alternatives within the Standard ML implementation 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 7 platform targets.
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 |
|---|---|---|---|
poly | cli | global executable | |
polyc | cli | global executable | |
polyimport | 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-11-04
manager version5.9.2
manager updated2026-09-13
local dataok
upstreamcurrent
latest detectedv5.9.2
https://github.com/polyml/polyml
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:polyml |
|---|---|
| Version | 5.9.2 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/polyml |
| Homepage | https://www.polyml.org/ |
| Repository | https://github.com/polyml/polyml |
| Upstream docs | https://www.polyml.org/ |
| License | LGPL-2.1-or-later |
| Source archive | https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz |
| Last updated | 2026-09-13T11:53:53Z |
| Pulse | updated |
| Bottle | available (on arm64_golden_gate, 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 | polyml |
| 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%
polyml
nix profile install nixpkgs#polyml- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
libpolyml-dev 5.7.1-5build1
development files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: polyml
- 1 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
libpolyml9 5.7.1-5build1
runtime files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml9- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- 4 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
polyml 5.7.1-5build1
interpreter and interactive compiler for Standard ML
sudo apt install polyml- Section: universe/interpreters
- Architecture: amd64
- 6 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
polyml-modules 5.7.1-5build1
modules for Poly/ML, a compiler for Standard ML
sudo apt install polyml-modules- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- normalized package name match
- Matched by: Polyml
apk95%
polyml 5.9.2-r0
ML97 compatible Standard ML implementation
sudo apk add polyml- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Polyml
apk95%
polyml-dev 5.9.2-r0
ML97 compatible Standard ML implementation (development files)
sudo apk add polyml-dev- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Polyml
apk95%
polyml-doc 5.9.2-r0
ML97 compatible Standard ML implementation (documentation)
sudo apk add polyml-doc- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- normalized package name match
- Matched by: Polyml
dnf95%
polyml 5.9.2-5.fc45
Poly/ML compiler and runtime system
sudo dnf install polyml- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: polyml
- 7 dependencies
- 2 provides
- normalized package name match
- Matched by: Polyml
dnf95%
polyml-doc 5.9.2-5.fc45
Poly/ML documentation
sudo dnf install polyml-doc- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: noarch
- Source Package: polyml
- 1 provides
- normalized package name match
- Matched by: Polyml
dnf95%
polyml-libs 5.9.2-5.fc45
Poly/ML runtime libraries
sudo dnf install polyml-libs- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: polyml
- 7 dependencies
- 2 provides
- normalized package name match
- Matched by: Polyml
pacman95%
polyml 5.9.2-1
Standard ML compiler originally written in Poly
sudo pacman -S polyml- License: LGPL
- Architecture: x86_64
- 2 dependencies
- normalized package name match
- Matched by: Polyml
MacPorts95%
polyml
sudo port install polyml- normalized package name match
- Matched by: Polyml
Nix92%
poly
nix profile install nixpkgs#poly- installed executable or alias match
- Matched by: Poly
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
- package relationship graph
- package version freshness
- package-page enrichment
- pkg.so package database
- pkgdb category and tag curation