OSI-Approved Open Source (130)
- GNU General Public License version 2.0 (72)
- GNU Library or Lesser General Public License version 2.0 (23)
- BSD License (15)
- 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 (9)
- Linux (138)
- Windows (107)
- Grouping and Descriptive Categories (105)
- Mac (95)
- BSD (52)
- Modern (45)
- 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.3 weekly downloads
PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).
Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.44 weekly downloads
Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.
An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.2 weekly downloads
The Pharm2Phork Project is a UK registered non profit organisation created to develop and distribute Open Source Software solutions for the agricultural production, transportation, storage and processing sectors.
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.
Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.
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.
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.1 weekly downloads
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.2 weekly downloads
QuickPinger is a command line based pinger which is very easy to use(just launch it).Dial up connections get automatically disconnected by their service provider ,when dormant .Quick pinger solves the problem.Created by Vivek Narayanan1 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
SGML DTD for the creation of Bash scripts for iptables configuration1 weekly downloads
An initial version of a native SML MPI implementation.
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.
SWTX is a SWT extension of XMLX project. It can genrate and optimize SWT applications with XML specified by XMLX specification. It also has a UI designer to help user design SWT UI easily. For UI event, it uses script engine specified by JSR-223.
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.1 weekly downloads
shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.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
Meta Language for FM sound synthesis. No modulator limits, a functionnal syntax (like ML)...1 weekly downloads
Starlang is a simple byte-compiled imperative programming language.
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.
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm