OSI-Approved Open Source (131)
- GNU General Public License version 2.0 (72)
- GNU Library or Lesser General Public License version 2.0 (24)
- BSD License (16)
- MIT License (7)
- Artistic License (4)
- GNU General Public License version 3.0 (3)
- zlib/libpng License (3)
- Academic Free License (2)
- Apache Software License (2)
- Eclipse Public License (2)
- Mozilla Public License 1.1 (2)
- Adaptive Public License (1)
- Apache License V2.0 (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Qt Public License (1)
- Public Domain (8)
- Linux (138)
- Windows (107)
- Grouping and Descriptive Categories (106)
- Mac (95)
- BSD (53)
- Modern (46)
- Android (31)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: Standard ML ×
This library interfaces the PCRE-library (Perl Compatibility Regular Expressions) to OCaml.1 weekly downloads
The Ivory Programming Language: A modern language for systems programming
PHP/Mysql based Guild website portal for world of warcraft guilds. It will provide the guild with a place to maintain member information, professions, dkp, forums, raid planner / signups, guild bank items etc.
The Atom writer is developed to assist the user create an Atom 1.0 standard document which also provides recommended links to user’s FOAF and OTER documents. The Atom writer make use of J2SE, JDom, Rome 0.8, Joda Time and JUD UUID Generator Libraries
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.1 weekly downloads
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.1 weekly downloads
AWTX is a AWT/Swing extension of XMLX project. It can genrate and optimize AWT/Swing applications with XML specified by XMLX specification. It also has a UI designer to help user design UI easily. For UI event, it uses script engine specified by JSR-223.
This project provides a compiler that compiles ML into code suitable for execution on small targets, including embedded ones. The compiler generates both C and Forth.1 weekly downloads
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.
SGML DTD for the creation of Bash scripts for iptables configuration2 weekly downloads
Meta Language for FM sound synthesis. No modulator limits, a functionnal syntax (like ML)...1 weekly downloads
Objective Caml library over Oracle OCI8, with some higher level features.1 weekly downloads
The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
ruby's expressivity together with static typing1 weekly downloads
XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.3 weekly downloads
Backstab is a free database engine construction set for OCaml.
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.3 weekly downloads
RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.1 weekly downloads
The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
OCaml Input/Output interface and the reference implementation.
The MlDoC system is a powerfull but 'simple as needed' documentation tool for OCaML programming projects. It consists currently of a frontend module and various backend modules for HTML, ASCII-Text and LaTeX output.1 weekly downloads
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 generation1 weekly downloads
Full-blown Standard ML Compiler1 weekly downloads
La finalidad de éste proyecto es crear un software para la escuela. A través del cual se pueda gestionar todas las actividades que se realizen en la misma. Relativas al profesorado, alumnado, asignaturas, etc.