Hello,
Kimmy here. I lead Community Outreach at Dotcom Monitor, and I have been exploring long standing programming language implementations and research driven projects. Poly ML really stood out to me.
It is impressive to see a mature and high performance implementation of Standard ML that has supported both academic research and real world development for many years. Projects like Poly ML play an important role in advancing language design and functional programming. It clearly reflects deep technical expertise and sustained community effort.
I wanted to ask, is polyml.org and the Poly ML project still actively maintained?
At Dotcom Monitor and LoadView, we work closely with long running technical and open source projects. We aim to support the community in ways that are practical and genuinely helpful. For context:
https://www.dotcom-monitor.com/sponsoring-open-source-projects/ https://www.loadview-testing.com/scholarship/
If the project is still active, we would be glad to explore the possibility of offering a small corporate contribution to help support its continued development.
I would love to hear your thoughts.