[go: up one dir, main page]

Open Source Standard ML Mathematics Software for ChromeOS

x
Sort By:

Standard ML Mathematics Software for ChromeOS

Mathematics Standard ML ChromeOS Clear Filters

Browse free open source Standard ML Mathematics Software for ChromeOS and projects below. Use the toggles on the left to filter open source Standard ML Mathematics Software for ChromeOS 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
  • BrandMail Email Signatures for Outlook Icon
    BrandMail Email Signatures for Outlook

    Leverage every email as an opportunity to brand consistently and minimise the security risks associated with the tampering of HTML signatures.

    BrandMail®, developed by BrandQuantum, is a software solution that seamlessly integrates with Microsoft Outlook to empower every employee in the organisation to automatically create consistently branded emails via a single toolbar that provides access to brand standards and the latest pre-approved content.
    Learn More
  • 1
    An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
    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
  • 4
    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
  • Instant Remote Support Software. Unattended Remote Access Software. Icon
    Instant Remote Support Software. Unattended Remote Access Software.

    Zoho Assist, your all-in-one remote access solution, helps you to access and manage remote devices.

    Zoho Assist is cloud-based remote support and remote access software that helps you support customers from a distance through web-based, on-demand remote support sessions. Set up unattended remote access and manage remote PCs, laptops, mobile devices, and servers effortlessly. A few seconds is all you need to establish secure connections to offer your customers remote support solutions.
    Learn More
  • Previous
  • You're on page 1
  • Next