Showing 11 open source projects for "standard ml"

View related business solutions
  • Engage for Amazon Connect, the Pre-built Contact Center Platform Icon
    Engage for Amazon Connect, the Pre-built Contact Center Platform

    Utilizing the power of AWS and Generative AI, Engage provides your customers with highly personalized, exceptional experiences.

    Engage is a pre-built, intelligent contact center platform that transforms customer service.
  • Secure Online Fax and Business Text Messaging Service Icon
    Secure Online Fax and Business Text Messaging Service

    Elevate your business communications with Notifyre's secure SMS and fax solutions.

    Send and receive SMS and fax online, from email, app or with our developer friendly SMS & fax API. HIPAA compliant & ISO 27001 certified. Outstanding value and 5-star service.
  • 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: 0 This Week
    Last Update:
    See Project
  • 2
    Canorus

    Canorus

    Music score editor

    Canorus is a free cross-platform music score editor. It supports an unlimited number and length of staffs, polyphony, a MIDI playback of notes, chord markings, lyrics, import/export filters to formats like MIDI, MusicXML, ABC Music, MusiXTeX and LilyPond
    Downloads: 18 This Week
    Last Update:
    See Project
  • 3
    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: 3 This Week
    Last Update:
    See Project
  • 4
    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
  • ConnectWise Cybersecurity Management for MSPs Icon
    ConnectWise Cybersecurity Management for MSPs

    Software and support solutions to protect your clients’ critical business assets

    ConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
  • 5
    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
  • 6
    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
  • 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
    Small or experimental software projects developed by Nada Amin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Codesoft Barcode Label Software Icon
    Codesoft Barcode Label Software

    RFID and barcode label software to set your business up for success

    CODESOFT is an enterprise-level RFID and barcode label design application offering unmatched flexibility, power, and support. Available in print-only, single-user, and network configurations, CODESOFT is designed to meet all of your barcode labeling needs. Whether your goal is streamlining label printing, printing labels using a form, connecting a scale to your label template, or integrating your business database with your label templates, CODESOFT provides a solution for your organization’s most advanced labeling needs. Connect to SQL or Oracle databases for business system integrations and greater efficiency. CODESOFT includes over 100 barcode symbologies including GS1, supports all common image formats, and enables rich text editing. Native printer drivers are included for over 4,000 thermal, thermal transfer, and inkjet label printers to ensure the best label printing quality.
  • 10
    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
  • 11
    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
  • Previous
  • You're on page 1
  • Next