Poly/ML：兼容 ML97 标准的 Standard ML 实现，具备多种独特特性！
导航菜单
切换导航，有登录选项，还有外观设置。
平台
AI 代码创作方面，有 GitHub Copilot 借助 AI 编写更优质代码、GitHub Copilot 应用从问题到合并直接代理、MCP 注册表新功能集成外部工具。开发者工作流包括 Actions 自动化任何工作流、Codespaces 即时开发环境、Issues 规划和跟踪工作、代码审查管理代码变更。应用程序安全有 GitHub 高级安全发现并修复漏洞、代码安全在构建过程中保障代码安全、密钥保护防患于未然阻止信息泄露。探索部分有为何选择 GitHub、文档、博客、更新日志、市场，还能查看所有功能。
解决方案
按公司规模划分，有企业版、中小型团队、初创企业、非营利组织。按用例划分，有应用现代化、DevSecOps、DevOps、CI/CD，还能查看所有用例。按行业划分，有医疗保健、金融服务、制造业、政府部门，也能查看所有行业，还可查看所有解决方案。
资源
按主题探索，有 AI、软件开发、DevOps、安全，能查看所有主题。按类型探索，有客户案例、活动与网络研讨会、电子书与报告、商业洞察、GitHub 技能。支持与服务包括文档、客户支持、社区论坛、信任中心、合作伙伴，还能查看所有资源。
开源
社区方面有 GitHub 赞助资助开源开发者。项目有安全实验室、维护者社区、加速器、GitHub 之星、存档项目。仓库有主题、热门趋势、集合。
企业版
企业解决方案是企业平台由 AI 驱动的开发者平台。可用附加组件有 GitHub 高级安全企业级安全功能、商业版 Copilot 企业级 AI 功能、高级支持企业级 24/7 支持，还有定价信息。
搜索相关
可搜索代码、仓库、用户、问题、拉取请求等，有搜索语法提示，还能提供反馈，包含保存的搜索功能。
项目情况
有登录、注册选项和外观设置。若在其他标签页或窗口有登录、注销、切换账户操作，需重新加载刷新会话。加载时可能出现错误，需重新加载页面。polyml/polyml 项目公开，有通知、分支 59、星标 541 等信息，还有代码、问题 38、拉取请求 1 等多种导航选项。主分支有分支、标签选项，能转到文件、代码，可打开更多操作菜单，展示了文件夹和文件信息以及最新提交、历史记录等。
仓库文件导航
有 README、LGPL - 2.1 许可证等，还有 Poly/ML 相关标志。
Poly/ML 介绍
Poly/ML 是一个 Standard ML 实现，最初用名为 Poly 的实验性语言编写，自 4.0 版本起完全兼容 ML97 标准，完整历史可查看相关链接。它对 Standard ML 语言采取保守态度，避免使用不兼容扩展，添加了各种库扩展，特别是线程库，积极开发和独特功能使其成为出色实现。
目录
包含特性、基础库、安装、邮件列表。
特性
有快速编译器，是诸如 Isabelle 和 HOL 等大型项目的首选实现。有外部函数接口，允许在 Poly/ML 中加载静态和动态库并公开函数，静态链接示例可查看相关内容。还有符号调试器、Windows 编程接口、线程库，线程库提供简化版 Posix 线程，允许程序利用多核，垃圾回收器也是并行的。
基础库
Poly/ML 基础库的文档可在相关链接找到，包含全局值、类型以及结构、签名和函数器的信息，更深入文档可在 SML 家族网站的相关链接找到。
安装
Poly/ML 原生支持 i386（32 位和 64 位）和 ARM（仅 64 位），也可在其他架构上使用字节码解释器运行，更多信息可查看下载页面。
邮件列表
有用于 Poly/ML 的邮件列表，可用于提问和获取支持。
关于及资源等
介绍了 Poly/ML 相关网站，有 Readme 资源，遵循 LGPL - 2.1 许可证。加载可能出现错误需重新加载页面，有活动、自定义属性等信息，星标有 541 个，39 人关注，有 59 个分支，还有版本、包、贡献者等信息，以及语言占比情况。页脚有相关导航链接，此时可能无法执行某些操作。