polyml

Pure Standard ML package-manifest resolver + lockfile + .mlb generator (smlpkg-compatible), with a thin Git/mlton build driver. Byte-identical under MLton and Poly/ML.

RFC-6962 Merkle trees in pure Standard ML (MLton + Poly/ML): domain-separated hashing, inclusion + consistency + multi proofs, append/updateLeaf, and accessors.

MessagePack binary serialization (spec v2.0) in pure Standard ML

Principal Component Analysis in pure Standard ML via Jacobi eigen-decomposition: components, explained variance, transform. MLton + Poly/ML.

Cuckoo filter approximate set membership in pure Standard ML

Geohash encode/decode with neighbors in pure Standard ML

Parser combinators for Standard ML (MLton + Poly/ML), with position tracking and precise error reporting.

NIST P-256 (secp256r1) ECDH key agreement and ECDSA signature verification in pure Standard ML. Built on sml-bigint, sml-asn1, sml-codec. Pure, dual-compiler.

Pure Standard ML animated GIF encoder (LZW + median-cut palette) (MLton + Poly/ML)

Entity-Component-System with generational entity IDs, sparse component stores, and multi-component queries/joins in pure Standard ML

SWIM-style gossip membership & failure detection simulated as a pure deterministic state machine in Standard ML (seeded PRNG). MLton + Poly/ML.

Prometheus text exposition format for Standard ML: typed counter/gauge/histogram builders, name validation, float formatting.

Arbitrary-precision decimal arithmetic for Standard ML (Java BigDecimal style), built on IntInf with explicit rounding modes. Portable, tested on MLton and Poly/ML.

First-order logic: parser, Skolemization, tableaux and resolution provers in pure SML

Bitcoin Script stack machine interpreter (subset) in pure Standard ML

CODATA fundamental physical constants as typed, dimensioned quantities in pure Standard ML, built on sml-units (MLton + Poly/ML).

Virtual DOM in pure Standard ML: diff two sml-html trees into a minimal patch list with a round-tripping apply oracle. Dual-compiler (MLton + Poly/ML), byte-identical, deterministic.

CIE colour-science extensions (XYZ, xyY, CIELUV, CIE94, Bradford adaptation, CCT) on top of sml-color, in pure Standard ML for MLton and Poly/ML

Gaussian-process regression with a squared-exponential (RBF) kernel for Standard ML.

Interactive Standard ML lab for trace critical-path analysis.