[go: up one dir, main page]

Open Source Standard ML Software

Standard ML Software

Browse free open source Standard ML Software and projects below. Use the toggles on the left to filter open source Standard ML Software by OS, license, language, programming language, and project status.

  • NEMS environmental management suite Icon
    NEMS environmental management suite

    For companies searching for an ESG reporting solution for teams and/or Environmental Accounting solution

    NEMS Environmental Management Suite revolutionizes ESG reporting, by providing a true collaborative reporting experience. KPI tracking, powerful visualisation, and cutting-edge Analytics ready out of the box. Our integration service can capture data from your existing systems, enhancing efficiency and reducing reliance on costly third parties. Anchored by NEMS Panorama, this suite seamlessly adapts to diverse industries, built for collaboration, and complex processes, built to grow with your needs, making it a game-changer in the realm of environmental management.
    Learn More
  • Run your private office with the ONLYOFFICE Icon
    Run your private office with the ONLYOFFICE

    Secure office and productivity apps

    A Comprehensive Alternative to Office 365 for Business
    Learn More
  • 1
    Small or experimental software projects developed by Nada Amin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next