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 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
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.
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.
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
PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).
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
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
JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,2 weekly downloads
SGML DTD for the creation of Bash scripts for iptables configuration2 weekly downloads
The Crop Simulation Markup Language (CropSim-XML) is a XML-based framework for the transfer of agricultural crop simulation data between crop simulation users. The backbone of CropSim-XML is an XML document type definition (DTD).
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.2 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.
An Objective Caml binding for wxWidgets1 weekly downloads
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.1 weekly downloads
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
Zarbi is a tool to create slideshows. Using a simple XML based input format, it can generates several outputs: HTML (single and splitted), PDF, LaTeX, TXT. Themes are available.1 weekly downloads
A multithreaded irc bot written in Ocaml1 weekly downloads
OCaml Input/Output interface and the reference implementation.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
Bibgrep indexes and searches BibTex files for entries matching a given query. Its usage is similar to the command ``grep'' and the queries uses a Google-like syntax.1 weekly downloads
A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)1 weekly downloads
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.4 weekly downloads
BattleProject - Server. It is written in C++ with pthreads/Berksock libs and maybe later with a GC The client is on the way but the artists wait to register the client under any license. A game of civilisations managing. http://thebattleproject.free.