Poly/ML: A Standard ML Implementation on GitHub
By
Lyngbakr
Summary
Poly/ML is a Standard ML implementation originally written in the Poly language. It has been fully compatible with the ML97 standard since version 4.0, takes a conservative approach to the Standard ML language avoiding incompatible extensions, and has added various library extensions particularly the thread library. The project is hosted on GitHub for community development.
Source
Key quotes
· 3 pulledPoly/ML is a Standard ML implementation originally written in an experimental language called Poly.
Poly/ML takes a conservative approach to the Standard ML language and avoids incompatible extensions.
Poly/ML's active development and unique features make it an exceptional implementation.
You might also wanna read
GitHub - jax-ml/jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
jax-js – Open-source web ML framework
OrchestraML: Convert English prompts to deployed ML models with human oversight
OrchestraML is a platform that converts plain English prompts into production-ready machine learning models. It uses eight specialized agent
Rhombus v1.0: A New Programming Language for the Racket Ecosystem Released
Rhombus version 1.0, a new programming language built on and for the Racket ecosystem, has been officially released. The article outlines th
Rhombus v1.0: A New Programming Language for the Racket Ecosystem Released
Rhombus version 1.0, a new programming language built on and for the Racket ecosystem, has been officially released. The article outlines th

Comments
Sign in to join the conversation.
No comments yet. Be the first.