Open Source Standard ML Education Software

x
Sort By:

Standard ML Education Software

View 4191 business solutions
Education Standard ML Clear Filters

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

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 1
    The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    2 Reviews
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    MODS FR is a repository for french documentation and tools relating to MODS. First, it help librarians to convert UNIMARC records to MODS (XML) metadata. This tool is an XML stylesheet that read MARCXML files produced by a tool like MARC4J.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5
    Small or experimental software projects developed by Nada Amin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 10
    The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches