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
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.
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.
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.
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
The Virtual Amoeba Machine Network is a communication environment for distributed measuring-, data acquisition and parallel computing systems, running on the top of UNIX (R) like operating systems. The VAM system is mostly written in ML.
hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
HOL4 mechanisation of Martelli and Montanari's paper on linear unification.
This is my first try at an OO AI script. Just a basic output, no 2d or 3d stuff. Just information. May become more down the road. If you modify the code. Let me know and if you want, upload the source in modular form to make this project better.
i intend to use this site to better myself in the area of music. i want to record my songs so that i have a way to remember them as well as share them with others
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.
MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).7 weekly downloads