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 (7)
- Linux (95)
- Windows (88)
- Grouping and Descriptive Categories (64)
- Android (32)
- Modern (23)
- BSD (15)
- Other Operating Systems (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
7TFT is an special XBMC skin for mini TFT´s (Car, xbox additive LCD´s - or portable screens). It works with 1080i reselution also. Special features of the skin are the big headlines/fonts and the 4 corners control.
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 Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.
A collection of machine-checkend mathematical proofs1 weekly downloads
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
A web application architecture for Objective Caml that enables the creation and management of dynamic content.
Belle is a generic higher order theorem prover in the style of Isabelle.
OCaml Input/Output interface and the reference implementation.
Appalachian State University's women's basketball team would like to improve their attendance rate at games. The following survey is to gain information about women's basketball game attendance.
Confluence is a functional programming language for digital logic design.
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).
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media1 weekly downloads
DRINKS is a set of smart web-based widgets.1 weekly downloads
The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).1 weekly downloads
the Data Representation and Management Language is designed to provide a simple language for developers to manipulate data and guarantee properties about it. This language is based on SML and C.
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.2 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.2 weekly downloads
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
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.1 weekly downloads
FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.1 weekly downloads
Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.3 weekly downloads
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information5 weekly downloads
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);3 weekly downloads
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.