Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
Appunti del corso di Programmazione Funzionale per Obsidian
A curated list of Standard ML resources + an auto-generated index of the 330+ sjqtentacles sml-* ecosystem.
Classic string matching & analysis in pure Standard ML: KMP, Z-function, Boyer-Moore, Rabin-Karp, Aho-Corasick, Manacher (MLton + Poly/ML)
TLS 1.3 (RFC 8446) sans-IO state machine in pure Standard ML, verified against RFC 8448 vectors. Experimental, not for production security.
Okapi BM25 / TF-IDF document ranking in pure Standard ML, built on an inverted index. Deterministic, MLton + Poly/ML.
MessagePack binary serialization (spec v2.0) in pure Standard ML
Merkle tree construction, root computation, and inclusion proofs in pure Standard ML
Principal Component Analysis in pure Standard ML via Jacobi eigen-decomposition: components, explained variance, transform. MLton + Poly/ML.
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.
A Standard ML library of state-based CRDTs: G-Counter, PN-Counter, LWW-Register, and OR-Set
First-order term rewriting in pure Standard ML: unification, matching, LPO, critical pairs, and Knuth-Bendix completion (dual-compiler MLton + Poly/ML).
Prometheus-style counters, gauges, histograms + text exposition in pure Standard ML (MLton + Poly/ML)
Step/event sequencer and drum machine in pure Standard ML on sml-midi + sml-music: grid patterns, GM drums, Euclidean (Bjorklund) rhythms, and Standard MIDI File output (MLton + Poly/ML).
ECDSA and Schnorr (BIP-340) signatures over secp256k1 in pure Standard ML
Unified AEAD facade (ChaCha20-Poly1305 + AES-128/256-GCM) in pure Standard ML, with byte-exact RFC 8439 / NIST GCM vectors. Dual-compiler (MLton + Poly/ML).
SWIM-style gossip membership & failure detection simulated as a pure deterministic state machine in Standard ML (seeded PRNG). MLton + Poly/ML.
Pure Standard ML animated GIF encoder (LZW + median-cut palette) (MLton + Poly/ML)
Add a description, image, and links to the polyml topic page so that developers can more easily learn about it.
To associate your repository with the polyml topic, visit your repo's landing page and select "manage topics."