Open Source Standard ML Software

October 2025 ISOs have been released! 3 new ISOs - PLASMA, GNOME, XFCE have been released. Thank you to all the members in the ALG community for their support.

MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

Analyze using summary metrics like BikeStress, TRIMP, or RPE. Extract insight via models like Critical Power and W'bal. Track and predict performance using models like Banister and PMC. Optimize aerodynamics using Virtual Elevation. Train indoors with ANT and BTLE trainers. Upload and Download with many cloud services including Strava, Withings, and Today's Plan. Import and export data to and from a wide range of bike computers and file formats. Track body measures, and equipment use and set your own metadata to track. GoldenCheetah provides tools for users to develop their own metrics, models, and charts. We believe that cyclists and triathletes should be able to download their power data to the computer of their choice, analyze it in whatever way they see fit, and share their methods of analysis with others.

The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/

At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.

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.

The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.

Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.

The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture.

A tool to generate interfaces to C functions and datatypes. Includes a complete interface to the standard C Xlib. This project has significant overlap with some of <A HREF="http://caml.inria.fr/hump.html#ffi">these</A>, and one or two others as well.

The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.

It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.

This library provides OCaml-interfaces to the BLAS- and LAPACK libraries.

Backstab is a free database engine construction set for OCaml.

A web application architecture for Objective Caml that enables the creation and management of dynamic content.

Belle is a generic higher order theorem prover in the style of Isabelle.

OCaml Input/Output interface and the reference implementation.

It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.

This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g

Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media

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.

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).

This is the project site for "De Vrije CD". A Dutch localisation and spin-off project of "The Open CD". Dit is de project-site voor "De Vrije CD". Een vertaalproject van "The Open CD".

From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.

Tools for developing dynamic web sites using the Standard ML programming language, including all the software you need to create PHP-style web sites with type-safe, statically checked page generation