Open Source Standard ML Scientific/Engineering Software

Standard ML Scientific/Engineering Software

View 2696 business solutions

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

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • AI-First Supply Chain Management Icon
    AI-First Supply Chain Management

    Supply chain managers, executives, and businesses seeking AI-powered solutions to optimize planning, operations, and decision-making across the supply

    Logility is a market-leading provider of AI-first supply chain management solutions engineered to help organizations build sustainable digital supply chains that improve people’s lives and the world we live in. The company’s approach is designed to reimagine supply chain planning by shifting away from traditional “what happened” processes to an AI-driven strategy that combines the power of humans and machines to predict and be ready for what’s coming. Logility’s fully integrated, end-to-end platform helps clients know faster, turn uncertainty into opportunity, and transform the supply chain from a cost center to an engine for growth.
    Learn More
  • 1
    At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.
    Downloads: 14 This Week
    Last Update:
    See Project
  • 2
    Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    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: 0 This Week
    Last Update:
    See Project
  • Dominate AI Search Results Icon
    Dominate AI Search Results

    Generative Al is shaping brand discovery. AthenaHQ ensures your brand leads the conversation.

    AthenaHQ is a cutting-edge platform for Generative Engine Optimization (GEO), designed to help brands optimize their visibility and performance across AI-driven search platforms like ChatGPT, Google AI, and more.
    Learn More
  • 5
    This library provides OCaml-interfaces to the BLAS- and LAPACK libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Belle is a generic higher order theorem prover in the style of Isabelle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    DRINKS Toolkit

    DRINKS Toolkit

    DRINKS is a set of smart web-based widgets.

    DRINKS Toolkit is a collection of web-based widget, focused in the first release, to realize an online strumentation. It provides a practical and immediate interface to represent your data in the best possible way. Every widget is drawed using HTML5 Canvas API in a Javascript based environment. Drinks was born to allow users to easily realize custom dashboards without any programming knowledge, infact, you can use your instrument on a webpage simply using HTML tags, or using BarMan IDE to create your applications in a click. DRINKS Toolkit (hardware and software) are released as Open Source project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Reach Your Audience with Rise Vision, the #1 Cloud Digital Signage Software Solution Icon
    Reach Your Audience with Rise Vision, the #1 Cloud Digital Signage Software Solution

    K-12 Schools, Higher Education, Businesses, Restaurants

    Rise Vision is the #1 digital signage company, offering easy-to-use cloud digital signage software compatible with any player across multiple screens. Forget about static displays. Save time and boost sales with 500+ customizable content templates for your screens. If you ever need help, get free training and exceptionally fast support.
    Learn More
  • 10
    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
  • 11
    A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next