Standard ML
Trending Standard ML repositories, ranked by momentum.
3 results
- Place 10.3
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
- Place 20.0
IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecycle operations. Features such as pre-configured deployments based on product expertise, rolling upgrades, and management of production workloads.
- Place 30.0
Direct package downloading from your PS5
Follow this list in a feed reader(Atom, top 25)