Thanks to visit codestin.com
Credit goes to sourceforge.net

Open Source Standard ML Education Software

Standard ML Education Software

View 3976 business solutions

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.

  • All-in-One IT Monitoring - No More Blind Spots Icon
    All-in-One IT Monitoring - No More Blind Spots

    Stop juggling tools. PRTG gives you a complete, real-time view of your IT: servers, devices, cloud, and more - in one easy dashboard.

    Tired of switching between different tools and missing critical alerts? PRTG brings everything together, monitoring your entire IT infrastructure from a single, intuitive interface. Whether it’s servers, switches, printers, or cloud services, you get instant visibility and clear notifications - no technical jargon, no clutter. Set up in minutes, PRTG helps you prevent downtime, reduce stress, and prove your value to your company. Focus on your job, not on chasing issues. Try PRTG and experience true IT peace of mind.
    Get Your Unified IT Trial
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure 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
  • 1
    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.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 2
    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: 6 This Week
    Last Update:
    See Project
  • 3
    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: 4 This Week
    Last Update:
    See Project
  • 4
    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
  • OpManager the network monitoring software used by over 1 million IT admins Icon
    OpManager the network monitoring software used by over 1 million IT admins

    Network performance monitoring, uncomplicated.

    ManageEngine OpManager is a powerful network monitoring software that provides deep visibility into the performance of your routers, switches, firewalls, load balancers, wireless LAN controllers, servers, VMs, printers, and storage devices. It is an easy-to-use and affordable network monitoring solution that allows you to drill down to the root cause of an issue and eliminate it.
    Learn More
  • 5
    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
  • 6
    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
  • 7
    Small or experimental software projects developed by Nada Amin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    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
  • Performance Monitoring Solution for DevOps and IT Operations. Icon
    Performance Monitoring Solution for DevOps and IT Operations.

    Site24x7 offers unified cloud monitoring for DevOps and IT operations within small to large organizations.

    The solution monitors the experience of real users accessing websites and applications from desktop and mobile devices. In-depth monitoring capabilities enable DevOps teams to monitor and troubleshoot applications, servers and network infrastructure, including private and public clouds. End-user experience monitoring is done from more than 100 locations across the world and various wireless carriers.
    Learn More
  • 10
    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
  • Previous
  • You're on page 1
  • Next