Showing page 1 of 5.

• 
  7TFT

  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.

  0 weekly downloads
• 
  AWTX

  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.

  0 weekly downloads
• 
  Abstract Syntax Description Language

  The Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate.

  0 weekly downloads
• 
  Appropriate Software Foundation

  The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.

  0 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

  0 weekly downloads
• 
  Atom Writer

  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

  0 weekly downloads
• 
  Backstab database engine

  Backstab is a free database engine construction set for OCaml.

  0 weekly downloads
• 
  Bedouin

  A web application architecture for Objective Caml that enables the creation and management of dynamic content.

  0 weekly downloads
• 
  Belle

  Belle is a generic higher order theorem prover in the style of Isabelle.

  0 weekly downloads
• 
  BibliosView

  BibliosView is a Delphi/Kylix and FlashMX 2003 GUI for unriccio\\\\\\\'s Biblios. Probably WebService compatibility will be added...

  0 weekly downloads
• 
  CamlIO

  OCaml Input/Output interface and the reference implementation.

  0 weekly downloads
• 
  Catch the Spirit

  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.

  0 weekly downloads
• 
  Crop Simulation Markup Language

  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).

  0 weekly downloads
• 
  Cross-Media Invoice XML Project

  Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media

  0 weekly downloads
• 
  DRINKS Toolkit

  DRINKS is a set of smart web-based widgets.

  0 weekly downloads
• 
  DUML

  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).

  0 weekly downloads
• 
  Data Rep and Management Language

  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.

  0 weekly downloads
• 
  De Vrije CD

  This is the project site for "De Vrije CD". A Dutch localisation and spin-off project of "The Open CD". Dit is de project-site voor "De Vrije CD". Een vertaalproject van "The Open CD".

  0 weekly downloads
• 
  DewDrop

  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.

  0 weekly downloads
• 
  Disposable Phone Numbers

  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.

  0 weekly downloads
• 
  Embedded ML

  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.

  0 weekly downloads
• 
  Exact arithmetic on continued fractions

  An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.

  0 weekly downloads
• 
  ExtensiveFun

  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.

  0 weekly downloads
• 
  FORT

  FORT (Framework for Ocaml Regression Testing) provides an environment for testing programs and Objective Caml modules.

  0 weekly downloads
• 
  FSD Amoeba

  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.

  0 weekly downloads

• Back
• 1
• 2
• 3
• 4
• 5
• Next