OSI-Approved Open Source (86)
- GNU General Public License version 2.0 (42)
- GNU Library or Lesser General Public License version 2.0 (13)
- BSD License (12)
- Artistic License (4)
- MIT License (4)
- Academic Free License (2)
- Apache Software License (2)
- Eclipse Public License (2)
- GNU General Public License version 3.0 (2)
- Mozilla Public License 1.1 (2)
- zlib/libpng License (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 (6)
- Linux (94)
- Windows (87)
- Grouping and Descriptive Categories (64)
- Android (31)
- Modern (23)
- BSD (15)
- Other Operating Systems (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.33 weekly downloads
DRINKS is a set of smart web-based widgets.2 weekly downloads
A collection of machine-checkend mathematical proofs22 weekly downloads
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.59 weekly downloads
The Standard ML project supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common tools and resources such as standard test suites.
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.78 weekly downloads
A web application architecture for Objective Caml that enables the creation and management of dynamic content.
A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.2 weekly downloads
Slashthemes is a skin and themes repository for the phpslash project. Yet another stuff themes.org doesn't do...1 weekly downloads
The exception analyzer statically detects may-uncaught exceptions from Standard ML programs. The analyzer is completely embedded in the SML/NJ 110, to be interactively used inside the compiler's print-eval loop and also CM.
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.
Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
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 documentation8 weekly downloads
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.
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.18 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.
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
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.
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.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.
Native code compiler for Standard ML 97 and associated libraries and tools.1 weekly downloads
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
A data manipulation and programming system based on POStiche (protean) objects. It provides the foundation for the Adage project.
Command line client to test broadband connections and report results to the site http://www.grenouille.com/1 weekly downloads
Objective Caml (OCaml) Elipse Plug-In