MacTech Network:   MacForge.net  |  Computer Memory  |  Register Domains  |  Printer Supplies  |  Cables  |  iPod Deals  |  Mac Deals

  MacTech Magazine

sponsored by MacTech Magazine

 
 

Browse By:
Database Environment
Development Status
Intended Audience
License
Operating System
Programming Language
Topic
Translations
User Interface

   Programming Language
      Standard ML
Mac Projects  Mac/nix Projects
Simple View
Projects Per Page: 10 20 50
Sort By:

69 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1


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

Click here to download.  
  • Topic: Mathematics
  • Translations: English
  • Programming Language: Prolog, C, Assembly, Standard ML, Lisp
  • Operating System: OS Independent (Written in an interpreted language), Linux, All POSIX (Linux/BSD/UNIX-like OSes)
  • License: Public Domain, GNU General Public License (GPL)
  • Intended Audience: Developers, End Users/Desktop, Other Audience
  • Development Status: 4 - Beta, 5 - Production/Stable, 6 - Mature

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

2. Archive of Formal Proofs - The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

Click here to download.  
  • Topic: Mathematics, Library, Software Development
  • User Interface: X Window System (X11)
  • Translations: English
  • Programming Language: Standard ML, Haskell, OCaml (Objective Caml)
  • Operating System: Solaris, Linux, OS X, All POSIX (Linux/BSD/UNIX-like OSes), Cygwin (MS Windows)
  • License: BSD License, GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Science/Research
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Text Editors, Indexing/Search
  • User Interface: Java Swing
  • Programming Language: Standard ML, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL), Adaptive Public License
  • Intended Audience: Advanced End Users, Information Technology
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: User Interfaces
  • User Interface: Java Swing, Java AWT
  • Translations: Chinese (Simplified), Chinese (Traditional), English
  • Programming Language: Standard ML, JavaScript, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Eclipse Public License
  • Intended Audience: End Users/Desktop, Developers, Advanced End Users
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Dynamic Content
  • User Interface: Web-based
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: zlib/libpng License
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Mathematics
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: Solaris, OS X, Linux, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: Mozilla Public License 1.1 (MPL 1.1)
  • Intended Audience: Education, Science/Research, Other Audience
  • Development Status: 2 - Pre-Alpha, 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Text Processing
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: Linux, OS X, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

8. Cañamo - El proyecto se mantiene actualmente (2006) en javahispano.net. This proyect is hosted now (2006) on javahispano.net

Click here to download.  
  • Topic: Site Management, Dynamic Content
  • User Interface: Web-based
  • Translations: German, Spanish, English
  • Programming Language: Standard ML, JavaScript, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: BSD License
  • Intended Audience: Other Audience, System Administrators, Developers, Information Technology
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

9. camlbot - A multithreaded irc bot written in Ocaml

Click here to download.  
  • Topic: Internet Relay Chat
  • Translations: English, French
  • Programming Language: Standard ML
  • Operating System: Linux, FreeBSD, All POSIX (Linux/BSD/UNIX-like OSes), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

10. camlgrenouille - Command line client to test broadband connections and report results to the site http://www.grenouille.com/

Click here to download.  
  • Topic: Internet, Monitoring, Benchmark
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: Linux, OS X, All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Telecommunications Industry
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

11. CamlIO - OCaml Input/Output interface and the reference implementation.


  • Topic: Frameworks
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Interpreters, HTTP Servers, CGI Tools/Libraries, Front-Ends
  • User Interface: Non-interactive (Daemon), Web-based
  • Translations: English
  • Programming Language: Unix Shell, C, Standard ML
  • Operating System: All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), Linux, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Information Technology, Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Database, Build Tools, Code Generators, Interpreters
  • User Interface: X Window System (X11), Win32 (MS Windows)
  • Translations: English
  • Programming Language: Java, Standard ML
  • Operating System: HP-UX, OS Independent (Written in an interpreted language), Solaris, Linux, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: System Administrators, Developers, Information Technology, Telecommunications Industry, Science/Research, Financial and Insurance Industry
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

14. dirfreak - Dirfreak is a file organizational tool which catagorizes files using various methods, including file name, size, and date. Methods of sorting can be specified on either the command line or in a configuration file, allowing automation of the sorting task.

Click here to download.  
  • Topic: Archiving
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: BSD License
  • Intended Audience: Developers, End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Dynamic Content, User Interfaces, Frameworks
  • User Interface: Web-based, Other toolkit
  • Translations: English
  • Programming Language: JavaScript, Standard ML, ASP, JSP, PHP
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Apache License V2.0
  • Intended Audience: Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Mathematics, Software Development
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: MIT License
  • Intended Audience: Science/Research, Education, Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

17. exquisite - Exquisite is a survey generator that uses a simple domain-specific language for specifying a survey. The generator creates a specialised perl script for your survey. It allows you to use perl code for specifying validators and error handling etc.

Click here to download.  
  • Topic: Code Generators, CGI Tools/Libraries
  • User Interface: Web-based
  • Translations: English
  • Programming Language: Standard ML, Perl
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, End Users/Desktop
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Software Development
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: zlib/libpng License
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

19. hazel programming language - hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.


  • Topic: Compilers, Interpreters
  • Translations: English
  • Programming Language: C, Standard ML
  • Operating System: All POSIX (Linux/BSD/UNIX-like OSes), OS X
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

20. IsaPlanner Reasoning Tools - IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; a reasoner for quantum computation (quantomatic); and various libraries.

Click here to download.  
  • Topic: Artificial Intelligence
  • Translations: English
  • Programming Language: Standard ML, Java, Lisp
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

21. IsaScheme - IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.


  • Topic: Mathematics, Artificial Intelligence
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

22. Ivory Language - The Ivory Programming Language: A modern language for systems programming


  • Topic: Compilers
  • User Interface: Command-line
  • Translations: English
  • Programming Language: Standard ML, Yacc
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: BSD License
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

23. Java Integrated Build Environment - The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software


  • Topic: Build Tools, Version Control
  • User Interface: Web-based
  • Translations: English
  • Programming Language: Java, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Apache Software License
  • Intended Audience: Developers, System Administrators
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

24. JavaScript Object Notation - The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/

Click here to download.  
  • Topic: Software Development
  • Translations: English
  • Programming Language: Ruby, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 4 - Beta, 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

25. JimboVector 3D - 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,

Click here to download.  
  • Topic: 3D Modeling, Vector-Based, Visualization, Software Development
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: Apple Mac OS Classic, OS X, OS Independent (Written in an interpreted language), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: Artistic License
  • Intended Audience: Developers, Education, End Users/Desktop
  • Development Status: 1 - Planning, 2 - Pre-Alpha, 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

26. lasYmat - lasYmat provides a set of Matlab routines for reading and writing LAS files. LAS is a world wide Oil & Gas industry standard for distribution of Well Log data.

Click here to download.  
  • Topic: Scientific/Engineering
  • User Interface: Win32 (MS Windows), X Window System (X11)
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Education, End Users/Desktop, Science/Research
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Interpreters
  • Translations: English
  • Programming Language: Scheme, Standard ML, C
  • Operating System: Linux, OS Independent (Written in an interpreted language), All POSIX (Linux/BSD/UNIX-like OSes)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Interpreters, Gnome
  • User Interface: Gnome, Win32 (MS Windows)
  • Translations: English
  • Programming Language: Standard ML, C
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

29. MlDoC - The MlDoC system is a powerfull but 'simple as needed' documentation tool for OCaML programming projects. It consists currently of a frontend module and various backend modules for HTML, ASCII-Text and LaTeX output.

Click here to download.  
  • Topic: Build Tools
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

30. MLton Standard ML Compiler - MLton is a whole-program optimizing Standard ML compiler. MLton is no longer hosted at SourceForge. Please visit www.mlton.org.

Click here to download.  
  • Topic: Compilers
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: 32-bit MS Windows (95/98), 32-bit MS Windows (NT/2000/XP), Linux, FreeBSD, NetBSD, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), WinXP, Win2K
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 6 - Mature, 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

31. MODS FR - MODS FR is a repository for french documentation and tools relating to MODS. First, it help librarians to convert UNIMARC records to MODS (XML) metadata. This tool is an XML stylesheet that read MARCXML files produced by a tool like MARC4J.

Click here to download.  
  • Topic: Education
  • Translations: French, English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • Intended Audience: Developers, Information Technology, Education
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Point-Of-Sale
  • User Interface: Cocoa (MacOS X), Win32 (MS Windows), X Window System (X11)
  • Translations: English
  • Programming Language: JavaScript, C, C++, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: End Users/Desktop, Other Audience
  • Development Status: 1 - Planning, 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

33. MP4MENU - MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation

Click here to download.  
  • Topic: Multimedia
  • Translations: German, English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language), All 32-bit MS Windows (95/98/NT/2000/XP)
  • License: GNU General Public License (GPL)
  • Intended Audience: Telecommunications Industry, End Users/Desktop, Education
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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


  • Topic: Symmetric Multi-processing, Operating System Kernels, Interpreters, Compilers
  • Translations: English, Italian
  • Programming Language: C, Standard ML
  • Operating System: Linux, OS Independent (Written in an interpreted language), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Education
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

35. MyPhpMoney - MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).

Click here to download.  
  • Topic: Other/Nonlisted Topic, Accounting, Investment
  • User Interface: Web-based, Win32 (MS Windows)
  • Translations: Spanish, German, French, English
  • Programming Language: Perl, PHP, JavaScript, Unix Shell, Standard ML
  • Operating System: All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language), All 32-bit MS Windows (95/98/NT/2000/XP)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Financial and Insurance Industry, Developers, End Users/Desktop, Other Audience
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

36. Nada Amin's Software Projects - Small or experimental software projects developed by Nada Amin


  • Topic: Education, CGI Tools/Libraries
  • User Interface: Cocoa (MacOS X), Web-based
  • Translations: English, French
  • Programming Language: Python, Objective C, Lisp, Java, C, Standard ML
  • Operating System: OS X, All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), Linux, OS Independent (Written in an interpreted language), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Education, Developers, End Users/Desktop
  • Development Status: 2 - Pre-Alpha, 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

37. OCaml Eclipse Plugin - Objective Caml (OCaml) Elipse Plug-In


  • Topic: Build Tools, Compilers, Integrated Development Environments (IDE)
  • User Interface: Win32 (MS Windows), X Window System (X11), Cocoa (MacOS X)
  • Translations: English, Italian, Polish
  • Programming Language: Standard ML, Java
  • Operating System: 32-bit MS Windows (NT/2000/XP), Linux, OS X, All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), WinXP, Win2K
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

38. open geo coordinates database - At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.

Click here to download.  
  • Topic: Database, XML, GIS
  • Translations: German
  • Programming Language: Standard ML, PL/SQL
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Public Domain
  • Intended Audience: Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

39. Open Simple Markup Language - OSML is an XML Schema for building web content. Built as an event handler, OSML gives the ability to create and manage elements interactively. OSML is compatible with JAVA / XML technology and has been extremely tested with Cocoon 2 Framework.

Click here to download.  
  • Topic: Build Tools, Code Generators
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

40. Overactive Logistics - Overactive Logistics is a freight forwarding software solution being developed for the cargo transportation industry. It runs in both web based or stand alone modes and provides a graphical user interface with rich client capabilities.

Click here to download.  
  • Topic: Enterprise, Internet, Scheduling
  • User Interface: Java Swing, Web-based, Project is a user interface (UI) system
  • Translations: English
  • Programming Language: Java, XSL (XSLT/XPath/XSL-FO), Standard ML
  • Operating System: OS Independent (Written in an interpreted language), OS Portable (Source code to work with many OS platforms)
  • License: Mozilla Public License 1.1 (MPL 1.1)
  • Intended Audience: Customer Service, Manufacturing, End Users/Desktop, Developers, Information Technology, Financial and Insurance Industry
  • Development Status: 2 - Pre-Alpha
  • Database Environment: MySQL, JDBC

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Information Analysis, Artificial Intelligence
  • Translations: English
  • Programming Language: Euler, Standard ML, C, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, Education, Financial and Insurance Industry, Science/Research
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

42. Perpetua - Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.


  • Topic: Compilers, Cross Compilers, Interpreters
  • Programming Language: Haskell, Standard ML
  • Operating System: WinXP, Vista, OS X
  • License: BSD License
  • Intended Audience: Developers, Advanced End Users
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

43. PetitLambda - 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.

Click here to download.  
  • Topic: Interpreters
  • User Interface: Console/Terminal
  • Programming Language: Standard ML
  • Operating System: OS X, Linux, Solaris, All 32-bit MS Windows (95/98/NT/2000/XP)
  • License: BSD License
  • Intended Audience: Education
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Education, Artificial Intelligence, Mathematics, Scheduling, Social sciences, Software Development
  • Translations: English, French
  • Programming Language: Java, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Education, Science/Research, Developers, End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

45. pkt - 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.

Click here to download.  
  • Topic: File Sharing, WWW/HTTP, Interface Engine/Protocol Translator, Software Distribution
  • User Interface: Web-based, Non-interactive (Daemon)
  • Translations: English
  • Programming Language: Java, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop, System Administrators, Developers, Telecommunications Industry, Other Audience
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

46. Podium Presentation System - Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.


  • Topic: Education, Other/Nonlisted Topic
  • User Interface: Web-based
  • Translations: English
  • Programming Language: PHP, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Apache Software License
  • Intended Audience: Developers, Other Audience
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

47. PPT2MP4 - PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).


  • Topic: Multimedia
  • Translations: Dutch, English
  • Programming Language: Visual Basic, Standard ML
  • Operating System: 32-bit MS Windows (NT/2000/XP), OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop, Education, Telecommunications Industry
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

48. PropPlan - Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.


  • Topic: Algorithms, Artificial Intelligence
  • Programming Language: Standard ML
  • Operating System: Linux, OS X
  • License: GNU General Public License (GPL)
  • Intended Audience: Education
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

49. Protocol Specification Tool - Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.


  • Topic: Cryptography, Code Generators
  • Translations: English
  • Programming Language: Java, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research, Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Mathematics, Visualization
  • User Interface: X Window System (X11)
  • Translations: English
  • Programming Language: Fortran, C, Standard ML
  • Operating System: Linux, FreeBSD, Other Operating Systems, All POSIX (Linux/BSD/UNIX-like OSes), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

51. Pycaml -- Python Embedding API for Ocaml - A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.

Click here to download.  
  • Topic: Interpreters
  • Translations: English
  • Programming Language: Python, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 4 - Beta

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

52. RE: a regexp library for OCaml - RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.

Click here to download.  
  • Topic: Software Development
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

53. SlashThemes - Slashthemes is a skin and themes repository for the phpslash project. Yet another stuff themes.org doesn't do...

Click here to download.  
  • Topic: HTTP Servers
  • User Interface: Web-based, Win32 (MS Windows)
  • Translations: English, French
  • Programming Language: PHP, JavaScript, Standard ML
  • Operating System: Linux, FreeBSD, 32-bit MS Windows (NT/2000/XP), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), WinXP, Win2K
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, End Users/Desktop, System Administrators
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

54. SMLclipse - SML-Plugin for Eclipse - Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.


  • Topic: Interpreters, Scientific/Engineering, Education
  • User Interface: Eclipse
  • Translations: English
  • Programming Language: Standard ML, Java
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License (GPL)
  • Intended Audience: Science/Research, Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

55. Sound Meta Langage - Meta Language for FM sound synthesis. No modulator limits, a functionnal syntax (like ML)...

Click here to download.  
  • Topic: Sound Synthesis, Symmetric Multi-processing
  • Translations: English, French
  • Programming Language: Standard ML
  • Operating System: All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), Linux, Other, All POSIX (Linux/BSD/UNIX-like OSes)
  • License: BSD License
  • Intended Audience: Other Audience, Developers
  • Development Status: 1 - Planning, 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

56. Stack Architecture Language - Starlang is a simple byte-compiled imperative programming language.


  • Topic: Compilers, Interpreters
  • Translations: English
  • Programming Language: C, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL), GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

57. Standard ML of New Jersey - Native code compiler for Standard ML 97 and associated libraries and tools.

Click here to download.  
  • Topic: Compilers, Code Generators
  • Translations: English
  • Programming Language: Standard ML, C
  • Operating System: All POSIX (Linux/BSD/UNIX-like OSes), OS X, All 32-bit MS Windows (95/98/NT/2000/XP)
  • License: MIT License
  • Intended Audience: Developers, End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

58. Stitcha - Stitching of panoramic pictures.


  • Topic: Graphics
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Qt Public License (QPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

Click here to download.  
  • Topic: Computer Aided Instruction (CAI), Testing
  • User Interface: Web-based, X Window System (X11), Console/Terminal
  • Translations: Spanish
  • Programming Language: C, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Public Domain
  • Intended Audience: Education
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

60. SWTX - 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.


  • Topic: User Interfaces
  • User Interface: Eclipse, Project is a user interface (UI) system, Java SWT
  • Translations: Chinese (Traditional), Chinese (Simplified), English
  • Programming Language: Standard ML, JavaScript, Java
  • Operating System: OS Independent (Written in an interpreted language)
  • License: Eclipse Public License
  • Intended Audience: End Users/Desktop, Developers, Advanced End Users
  • Development Status: 3 - Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

61. The Combinator Engine - This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.

Click here to download.  
  • Topic: Interpreters, Compilers
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Other Audience
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

62. The Spaceship Compiler - A compiler for a purely functional scripting language. The goal is to create a really simple compiler for a really powerful and easy-to-use language. The compiler will be used in a game engine.


  • Topic: Compilers
  • Programming Language: Standard ML, Project is a programming language
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: GNU General Public License version 3.0 (GPLv3)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

63. TinySemantics - Theme for TinyMCE - TinySemantics is a theme/skin for TinyMCE. Its emphasis is on generating valid XHTML using the WYSIWYG TinyMCE editor. This theme is Text Only and is suitable for use with CMS where presentation has been separated from content.

Click here to download.  
  • Topic: Software Development
  • User Interface: Web-based
  • Translations: English
  • Programming Language: JavaScript, Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU Library or Lesser General Public License (LGPL)
  • Intended Audience: Information Technology, Developers
  • Development Status: 2 - Pre-Alpha, 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

64. VAMNET - 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.


  • Topic: Scientific/Engineering, Software Development, Distributed Computing, Operating System Kernels, Software Distribution
  • User Interface: X Window System (X11)
  • Translations: English
  • Programming Language: C, Standard ML
  • Operating System: Other Operating Systems, OS Independent (Written in an interpreted language), All POSIX (Linux/BSD/UNIX-like OSes)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

65. Wireless Universal Resource File - the WURFL file contains information regarding wireless devices' configurations, capabilities and features. The main scope of this file is to collect as many information as we can about all the existing wireless devices that access WAP pages

Click here to download.  
  • Topic: WAP, Telephony
  • Translations: English
  • Programming Language: Perl, Java, PHP, Standard ML, Ruby, ASP
  • Operating System: OS Independent (Written in an interpreted language)
  • Intended Audience: Telecommunications Industry, Information Technology, Developers
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

66. wxOCaml - An Objective Caml binding for wxWidgets

Click here to download.  
  • Topic: Desktop Environment
  • Translations: English
  • Programming Language: Standard ML
  • Operating System: OS Portable (Source code to work with many OS platforms)
  • License: wxWindows Library Licence
  • Intended Audience: Developers
  • Development Status: 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

67. XMLbase - XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.

Click here to download.  
  • Topic: Database Engines/Servers, Dynamic Content
  • User Interface: Web-based
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers, End Users/Desktop
  • Development Status: 1 - Planning, 2 - Pre-Alpha

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

68. XSF (XmlSource) - XSF (XmlSourceFile)


  • Topic: XML, Software Development
  • Programming Language: Standard ML
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: Developers
  • Development Status: 1 - Planning

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

69. XSLT-Blog - XSLT-Blog is database less blog system programed in XSLT, JavaScript and XHTML.

Click here to download.  
  • Topic: Communications, Internet
  • User Interface: Web-based
  • Translations: English, Czech
  • Programming Language: Standard ML, JavaScript, XSL (XSLT/XPath/XSL-FO)
  • Operating System: OS Independent (Written in an interpreted language)
  • License: GNU General Public License (GPL)
  • Intended Audience: End Users/Desktop
  • Development Status: 5 - Production/Stable

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

69 projects in result set. Projects sorted by: Ranking (Top Ranked First)
Select a page:   1

-->
Click on the cover to
see this month's issue!

TRIAL SUBSCRIPTION
Get a RISK-FREE subscription to the only technical Mac magazine!

Today's Deal


 


©1984-2009 MacTech Magazine. www.mactech.com
Toll Free 877-MACTECH, Outside US/Canada: 805-494-9797

MacTech and MacTutor are registered trademarks of MacTech Magazine. The MacTech logo, the MacForge logo, MacForge,
MacForge.net, Explain It, MacDev-1, THINK Reference, NetProfessional, JavaTech, WebTech, BeTech, LinuxTech, MacTech Central
and the MacTutorMan are trademarks or service marks of Xplain Corporation. Other trademarks and copyrights appearing in this
web site, printing or software remain the property of their respective holders.