GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
polymlHere are 390 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).
programming-language functional-programming sml exam exercises unitn polyml programmazione-funzionale exam-practice
A curated list of Standard ML resources + an auto-generated index of the 380+ sjqtentacles sml-* ecosystem.
Leveled structured logging for Standard ML (MLton + Poly/ML): logfmt + JSON renderers, withFields child loggers, tee/filter sinks, parseLevel/setLevel, and a deterministic capturing sink. Pure.
Combinatorial enumeration and exact counting in pure Standard ML: permutations, combinations, partitions, Gray codes, Catalan/Stirling numbers (IntInf). MLton + Poly/ML.
library pure sml enumeration counting combinatorics permutations combinations standard-ml mlton deterministic polyml sjqtentacles-web intinf
Appunti del corso di Programmazione Funzionale per Obsidian
Umbrella of the pure-SML web stack: one request->response app wiring router + middleware + sessions + negotiation. Pure, deterministic, dual-compiler.
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.
machine-learning library eigen pure sml pca dimensionality-reduction standard-ml mlton jacobi deterministic polyml sjqtentacles-web
Cuckoo filter approximate set membership in pure Standard ML
Arbitrary-precision decimal arithmetic for Standard ML (Java BigDecimal style), built on IntInf with explicit rounding modes. Portable, tested on MLton and Poly/ML.
money sml arbitrary-precision decimal standard-ml bigdecimal fixed-point mlton numerics polyml smlpkg
First-order logic: parser, Skolemization, tableaux and resolution provers in pure SML
Bitcoin Script stack machine interpreter (subset) in pure Standard 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.
machine-learning functional-programming regression sml kernel-methods standard-ml mlton polyml gaussian-process smlpkg
Geohash encode/decode with neighbors in pure Standard ML
Add this topic to your repoTo associate your repository with the polyml topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |