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

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.

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.

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.

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.  
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.  
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.  
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.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

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

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

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

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

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

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

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

Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

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

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

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

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

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.

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.

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

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

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.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

58. Stitcha - Stitching of panoramic pictures.

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

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

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

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.  
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.  
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.  
Rank/Activity Percentile
0 / 0.00%

Registered/Updated
N/A / N/A

Downloads
0

68. XSF (XmlSource) - XSF (XmlSourceFile)

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