polyml (lang/polyml) Updated: 1 year, 5 months ago Add to my watchlist

An implementation of Standard ML.

Poly/ML is an extremely fast and efficient implementation of Standard ML. Program state can be saved in a memory-mapped persistent store. There are numerous addon libraries available.

Version: 5.9.1 License: LGPL-2.1

GitHub

Maintainers	pclayton
Categories	lang sml
Homepage	https://www.polyml.org
Platforms	darwin
Variants	universal (Build for multiple architectures)

"polyml" depends on

lib (1)

gmp

build (2)

clang-16

pkgconfig

Ports that depend on "polyml"

No ports

Port Health:

Loading Port Health

Installations (30 days)

4

Requested Installations (30 days)

3

Livecheck results

polyml seems to have been updated (port version: 5.9.1, new version: 5.9.2)

livecheck ran: 1 day, 3 hours ago

polyml (lang/polyml) Updated: 1 year, 5 months ago Add to my watchlist 0