[go: up one dir, main page]

Open Source Standard ML Formats and Protocols

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

  • Accounting Software Built for Owners, and Their Clients Icon
    Accounting Software Built for Owners, and Their Clients

    Make invoicing and billing painless for your small business with FreshBooks.

    Balancing your books, client relationships, and business isn’t easy. FreshBooks gives you the info and time you need to focus on your big picture—your business, team, and clients.
    Learn More
  • The CI/CD Platform built for Mobile DevOps Icon
    The CI/CD Platform built for Mobile DevOps

    For mobile app developers interested in a powerful CI/CD platform for mobile app development and mobile DevOps

    Save time, money, and developer frustration with fast, flexible, and scalable mobile CI/CD that just works. Whether you swear by native or would rather go cross-platform, we have you covered. From Swift to Objective-C, Java to Kotlin, as well as Xamarin, Cordova, Ionic, React Native, and Flutter: Whatever you choose, we will automatically configure your initial workflows and have you building in minutes.
    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: 8 This Week
    Last Update:
    See Project
  • 2
    Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Runn is a modern resource and capacity planning platform that gets remote teams on the same page. Icon
    Runn is a modern resource and capacity planning platform that gets remote teams on the same page.

    Runn is best suited for project managers, operations leads, resourcing managers and other people responsible for project delivery.

    Runn has a modern and easy-to-use interface that provides your team with a shared view of all the people and projects in your organization. Plan new work alongside existing projects and instantly see how changes to your plans and resourcing affect your company’s bottom line. Runn is intuitive to use and lets you quickly schedule work using simple drag and drop functionality. Runn also allows you to collaborate with your co-workers in real-time, seeing updates live without having to refresh your browser. Runn combines resource and capacity planning with integrated actual tracking and powerful forecasting to deliver meaningful insights and a full picture of your organization.
    Sign Up - 100% free until July!
  • 5
    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
  • 6
    SGML DTD for the creation of Bash scripts for iptables configuration
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    XSF (XmlSourceFile)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next