Showing page 4 of 6.

• 
  mGTK

  mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.

  1 weekly downloads
• 
  phimatex

  The aim of this project is to produce a software that will content two modules :- the first one will allow to conduct simulations of social behavior,- the second one will be able to produce philosophical considerations.The version version will be i

  1 weekly downloads
• 
  wxOCaml

  An Objective Caml binding for wxWidgets

  1 weekly downloads
• 
  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
• 
  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
• 
  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
• 
  BLAS and LAPACK for OCaml

  This library provides OCaml-interfaces to the BLAS- and LAPACK 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
• 
  Chaco the Chaos Collection

  It is a collection of small tools for Chaos Modelling, based on ideas of Life game, Tierra and others.

  0 weekly downloads
• 
  Confluence

  Confluence is a functional programming language for digital logic design.

  0 weekly downloads
• 
  Cooperative Internet hosting tools

  This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g

  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
• 
  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
• 
  Eagle Automated Theorem Prover

  The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.

  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
• 
  Frobots

  Frobots is a programmer's robot game. Bots run user-supplied code and fight each other in a two-dimensional arena. Frobots is developed in OCaml and distributed under the GNU General Public License.

  0 weekly downloads
• 
  Gestion Escuela

  La finalidad de éste proyecto es crear un software para la escuela. A través del cual se pueda gestionar todas las actividades que se realizen en la misma. Relativas al profesorado, alumnado, asignaturas, etc.

  0 weekly downloads
• 
  IPB Ukrainian translation

  Localization

  0 weekly downloads

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