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   2   3   4   Next


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

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

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