|
|
|
1.
Unison
File synchronizer |
|
|
Author: Benjamin Pierce |
|
|
No screenshot |
|
|
|
|
|
2.
FFTW
The Fastest Fourier Transform in the West |
|
|
Author: Matteo Frigo and Steven G. Johnson |
|
No screenshot |
|
|
|
|
|
3.
SML/NJ
Compiler, development environment, and libraries for Standard ML |
|
|
Author: Matthias Blume |
|
No screenshot |
| [Development Status] | | 6 - Mature | | [Environment] | | Console (Text Based), MacOS X, X11 Applications | | [Intended Audience] | | Developers | | [License] | | OSI Approved :: BSD License (original), OSI Approved :: MIT/X Consortium License | | [Operating System] | | MacOS X, Microsoft :: Windows :: Windows 95/98/ME, Microsoft :: Windows :: Windows CE, Microsoft :: Windows :: Windows NT/2000/XP, POSIX, POSIX :: AIX, POSIX :: BSD, POSIX :: HP-UX, POSIX :: IRIX, POSIX :: Linux, POSIX :: SunOS/Solaris | | [Programming Language] | | ML | | [Topic] | | Software Development, Software Development :: Code Generators, Software Development :: Compilers, Software Development :: Libraries |
|
| Added: |
20-Aug-1999 |
| Updated: |
30-Apr-2008 |
| Rating: |
8.41/10.00 |
| Vitality: |
0.08% |
| Popularity: |
1.84% |
| License: |
MIT/X Consortium License |
| Version: |
110.67 |
|
|
|
|
4.
GeneWeb
A genealogy program with a Web interface. |
|
|
Author: Daniel de Rauglaudre |
|
No screenshot |
|
|
|
|
|
5.
MyPhpMoney
A PHP tool written to manage bank accounts. |
|
|
Author: tobozo |
|
|
|
|
|
|
6.
Isabelle
A generic theorem-proving environment. |
|
|
Author: The Isabelle Team |
|
No screenshot |
|
| Added: |
10-Oct-2000 |
| Updated: |
21-Mar-2006 |
| Rating: |
8.40/10.00 |
| Vitality: |
0.00% |
| Popularity: |
0.70% |
| License: |
BSD License (revised) |
| Version: |
2005 |
|
|
|
|
7.
SwiftSurf
A smart HTTP proxy. |
|
|
Author: Sebastien Ailleret |
|
No screenshot |
|
|
|
|
|
8.
MLton
An optimizing Standard ML compiler. |
|
|
Author: Stephen Weeks |
|
No screenshot |
|
| Added: |
14-Jul-2000 |
| Updated: |
06-Dec-2005 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.57% |
| License: |
BSD License (original) |
| Version: |
20051202 |
|
|
|
|
9.
HOL
Higher Order Logic theorum prover. |
|
|
Author: Michael Norrish |
|
No screenshot |
|
| Added: |
11-Mar-2003 |
| Updated: |
14-Jan-2007 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.45% |
| License: |
BSD License (revised) |
| Version: |
4 |
|
|
|
|
10.
WDialog
A framework to create dialog-centric Web applications. |
|
|
Author: GPS |
|
No screenshot |
|
|
|
|
|
11.
HOL-TestGen
A test case generator for specification based units. |
|
|
Author: Achim D. Brucker |
|
|
|
| Added: |
07-Apr-2005 |
| Updated: |
19-Jun-2008 |
| Rating: |
(not rated) |
| Vitality: |
0.01% |
| Popularity: |
0.42% |
| License: |
BSD License (revised) |
| Version: |
1.4.0 |
|
|
|
|
12.
Alice ML
A functional, concurrent, distributed programming language based on Standard ML. |
|
|
Author: Guido Tack |
|
No screenshot |
|
| Added: |
27-Mar-2005 |
| Updated: |
18-Sep-2006 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.29% |
| License: |
BSD License (revised) |
| Version: |
1.3 |
|
|
|
|
13.
The Blog Icons
Standard SVG icons with blogging-related semantics. |
|
|
Author: Avi Alkalay |
|
No screenshot |
|
| Added: |
19-May-2007 |
| Updated: |
19-May-2007 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.26% |
| License: |
Free for non-commercial use |
| Version: |
2007.05.18 |
|
|
|
|
14.
mathplot
interactive function grapher |
|
|
Author: N/A |
|
No screenshot |
|
|
|
|
|
15.
BBSzilla
An extension for Mozilla-based browsers that offers TCP/IP BBS connectivity. |
|
|
Author: Justin Turner Arthur |
|
| [Development Status] | | 2 - Pre-Alpha | | [Environment] | | Web Environment, Web Mozilla | | [Intended Audience] | | End Users/Desktop, System Administrators | | [License] | | OSI Approved :: GNU General Public License (GPL), OSI Approved :: GNU Lesser General Public License (LGPL), OSI Approved :: Mozilla Public License (MPL) | | [Network Environment] | | IP | | [Operating System] | | OS Independent | | [Programming Language] | | JavaScript, ML, Other | | [Topic] | | Communications, Communications :: BBS, Communications :: Chat, Communications :: Conferencing, Communications :: File Sharing, Office/Business :: Groupware, Office/Business :: News/Diary |
|
| Added: |
13-Mar-2004 |
| Updated: |
20-Mar-2004 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.23% |
| License: |
Mozilla Public License (MPL) |
| Version: |
|
|
|
|
|
16.
Polymorphic XML Parser
Validating XML parser for Objective Caml. |
|
|
Author: GPS |
|
No screenshot |
|
| Added: |
30-Aug-2000 |
| Updated: |
15-Mar-2002 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.21% |
| License: |
MIT/X Consortium License |
| Version: |
1.1.4 |
|
|
|
|
17.
Lazy-L
An interpreter for lambda calculus. |
|
|
Author: Rafael 'Dido' Sevilla |
|
No screenshot |
|
|
|
|
|
18.
bibgrep
Indexes and searches BibTex files using Google-like queries. |
|
|
Author: Guillaume Marceau |
|
|
|
|
|
|
19.
Camlserv
A Web server with a fast and easy scripting language. |
|
|
Author: Jurjen Stellingwerff |
|
No screenshot |
|
|
|
|
|
20.
Moscow ML
An implementation of Standard ML. |
|
|
Author: Peter Sestoft |
|
No screenshot |
|
| Added: |
03-May-2003 |
| Updated: |
03-May-2003 |
| Rating: |
8.44/10.00 |
| Vitality: |
0.00% |
| Popularity: |
0.18% |
| License: |
Free To Use But Restricted |
| Version: |
2.00 |
|
|
|
|
21.
XSL Preprocessor
A preprocessor for XSLT stylesheets. |
|
|
Author: Michal Moskal |
|
No screenshot |
|
| Added: |
20-May-2002 |
| Updated: |
03-May-2005 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.18% |
| License: |
BSD License (original) |
| Version: |
0.0.2 |
|
|
|
|
22.
JSON for Objective Caml
An implementation of JSON under Objective Caml. |
|
|
Author: Rafael 'Dido' Sevilla |
|
No screenshot |
|
|
|
|
|
23.
pxpvalidate
An XML validator |
|
|
Author: GPS |
|
No screenshot |
|
| Added: |
16-Jul-2001 |
| Updated: |
17-Jul-2001 |
| Rating: |
(not rated) |
| Vitality: |
0.00% |
| Popularity: |
0.15% |
| License: |
BSD License (original) |
| Version: |
|
|
|
|
|
24.
Dynamic Web site tools for Standard ML
Tools for developing dynamic Web sites using Standard ML. |
|
|
Author: Adam Chlipala |
|
No screenshot |
|
|
|
|
|
25.
ML Kit
A Standard ML compiler. |
|
