polyml ☆
« Back to VersTracker
Description:
Standard ML implementation
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: standard-ml compiler functional-programming sml ml
Install: brew install polyml
About:
PolyML is a high-performance, open-source implementation of the Standard ML programming language. It features a robust compiler, a multi-threaded runtime, and a native code generator for x86/ARM architectures. Its primary value is delivering fast compilation and efficient execution for ML-based research and application development.
Key Features:
  • Native code generation for x86 and ARM
  • Multi-threaded runtime support
  • Integrated REPL and compiler
  • Compatible with SML/NJ libraries
Use Cases:
  • Programming language research and compiler construction
  • Developing verified software systems
  • Functional programming education
  • Symbolic computation tasks
Alternatives:
  • SML/NJ – Standard ML of New Jersey is the other major implementation; PolyML generally offers faster compilation and native code performance.
Version History
Detected Version Rev Change Commit
Sep 16, 2025 1:03pm 0 VERSION_BUMP 127ac17e
Sep 13, 2025 7:54pm 0 VERSION_BUMP 9d534073
Sep 13, 2025 3:37pm 0 VERSION_BUMP 5150585a
Sep 13, 2024 6:57am 0 VERSION_BUMP a29b07c1
Aug 15, 2024 9:11pm 0 VERSION_BUMP 49299e43
« Back to VersTracker  |  Browse Packages  |  About