Find Standard ML Software

Search Results
Project Name	Rank	Activity	Registered	Latest File	Downloads
Add a filter to

Page: 1 2 3 ... 15 Next »		1 – 10 of 145 Results – Display
Advanced Search Syntax
Wireless Universal Resource File	256	99.91%	2002-06-10	2009-07-22	1,115,141
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 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					Download Now!
Ocaml Curl Library	2,668	99.05%	2003-01-23	2008-12-19	1,896
The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors). Topic: Internet, Software Development User Interface: Non-interactive (Daemon) Translations: English Programming Language: Standard ML Operating System: All POSIX (Linux/BSD/UNIX-like OSes) License: MIT License Intended Audience: Developers Development Status: 3 - Alpha					Download Now!
HOL theorem-proving system	3,328	98.82%	2001-07-20	2009-07-22	59,156
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science. Topic: Mathematics User Interface: Console/Terminal Translations: English Programming Language: Standard ML Operating System: All POSIX (Linux/BSD/UNIX-like OSes), 32-bit MS Windows (NT/2000/XP), WinXP, Win2K License: BSD License Intended Audience: Other Audience, Science/Research, Advanced End Users Development Status: 6 - Mature					Download Now!
open geo coordinates database	6,095	97.83%	2005-02-25	2007-10-04	296,741
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area. 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					Download Now!
Archive of Formal Proofs	6,568	97.66%	2004-02-12	2008-10-21	775
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. Topic: Education, Mathematics User Interface: X Window System (X11) Translations: English Programming Language: Standard ML 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					Download Now!
Structio. Constructing Knowledge in Col	8,072	97.13%	2000-04-10	2007-05-25	12,030
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). 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					Download Now!
IsaPlanner Reasoning Tools	9,956	96.46%	2003-06-11	2009-03-07	18
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. 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					Download Now!
MyPhpMoney	11,797	95.80%	2002-02-07	2007-06-06	40,994
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). 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					Download Now!
Quick Pinger	13,335	95.25%	2006-07-17	2006-12-03	353
QuickPinger is a command line based pinger which is very easy to use(just launch it).Dial up connections get automatically disconnected by their service provider ,when dormant .Quick pinger solves the problem.Created by Vivek Narayanan Topic: Internet User Interface: Non-interactive (Daemon) Translations: English Programming Language: Standard ML Operating System: All 32-bit MS Windows (95/98/NT/2000/XP) License: Public Domain Intended Audience: End Users/Desktop Development Status: 5 - Production/Stable					Download Now!
phimatex	16,415	94.16%	2003-01-31	2009-01-06	5,822
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 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					Download Now!

Browse by Category

Find Standard ML Software

Wireless Universal Resource File

Ocaml Curl Library

HOL theorem-proving system

open geo coordinates database

Archive of Formal Proofs

Structio. Constructing Knowledge in Col

IsaPlanner Reasoning Tools

MyPhpMoney

Quick Pinger

phimatex

About SourceForge

Find Software

Develop Software

Community

Help