Open Source Standard ML Software

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.

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.

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

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

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.

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

Native code compiler for Standard ML 97 and associated libraries and tools.

Overactive Logistics is a freight forwarding software solution being developed for the cargo transportation industry. It runs in both web based or stand alone modes and provides a graphical user interface with rich client capabilities.

The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).

This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information

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

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/

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.

SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific doma

Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently.

MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation

PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.

C2caml is a tool for automatic generation of ocaml bindings fro a library from it's C header interface.

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.

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.

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.

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.

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

Backstab is a free database engine construction set for OCaml.