Showing page 1 of 2.

• 
  Structio. Constructing Knowledge in Col

  Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).

  82 weekly downloads
• 
  Particle Swarm (PSO) Toolbox

  Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.

  45 weekly downloads
• 
  MozPos

  A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.

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

  26 weekly downloads
• 
  X-Logic

  The dream of Leibniz. A project devoted to realising the lingua characteristica and calculus ratiocinator using XML technologies where appropriate. Includes (at this stage mainly consists of) research in philosophy and logic.

  6 weekly downloads
• 
  HFM (Hippocampal Flat Mapping)

  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 information

  5 weekly downloads
• 
  PsiLAB

  PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.

  4 weekly downloads
• 
  Fifth system

  Fifth is a exciting project to develop a new programming language that has all the capabilityits of C to develop low-level drivers, but uses a postfix syntax and has many high-level features from LISP and ML.

  2 weekly downloads
• 
  GD4O [gee-dee-for-oh]

  GD4O is an OCaml interface to the GD graphics library. It provides OCaml developers a means to generate and manipulate bitmap images. TrueType fonts and antialiased drawing are supported. GD4O is based on OCamlGD 0.7, developed by Shawn Wagner.

  2 weekly downloads
• 
  LInux Pour l'Entreprise

  This project aims at developping a set of programs for business needs, such as accounting, payroll and inventory.

  2 weekly downloads
• 
  OCI8 bindings for ocaml

  Objective Caml library over Oracle OCI8, with some higher level features.

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

  1 weekly downloads
• 
  Gnome DOM Bindings Library

  GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.

  1 weekly downloads
• 
  Standard ML of New Jersey

  Native code compiler for Standard ML 97 and associated libraries and tools.

  1 weekly downloads
• 
  alphalabs

  Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

  1 weekly downloads
• 
  camlserv

  This project is a lightweight server written in Ocaml for highly interactive webpages or even online browser based games. The server can already be used as a fast frontend to a MySQL database. The software should work on *nix and windows.

  1 weekly downloads
• 
  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
• 
  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
• 
  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
• 
  MDAG

  A data manipulation and programming system based on POStiche (protean) objects. It provides the foundation for the Adage project.

  0 weekly downloads
• 
  Medor VPN

  Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)

  0 weekly downloads
• 
  MyNOS - My! Not another Operating System

  The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.

  0 weekly downloads
• 
  Nada Amin's Software Projects

  Small or experimental software projects developed by Nada Amin

  0 weekly downloads
• 
  Stack Architecture Language

  Starlang is a simple byte-compiled imperative programming language.

  0 weekly downloads

• Back
• 1
• 2
• Next