freshmeat.net: Browse project tree - Programming Language

Thu, Dec 04th

22:52 UTC

Available sub-categories

Programming Language

» Subscribe to this category

Browse by

Most vital projects in this category:
1. FFTW
2. SML/NJ
3. Unison

Most popular projects in this category:
1. Unison
2. FFTW
3. SML/NJ

31 projects found

Sort order: Not logged in

[«] [1] [2] [»]

1. Unison
File synchronizer

Author: Benjamin Pierce

No screenshot

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based), X11 Applications
[Intended Audience]		End Users/Desktop, System Administrators
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		Microsoft :: Windows :: Windows 95/98/ME, POSIX, POSIX :: Linux
[Programming Language]		ML
[Topic]		Internet :: File Transfer Protocol (FTP), System :: Archiving, System :: Clustering/Distributed Networks, System :: Filesystems, System :: Networking, System :: Systems Administration

Added:	09-Jun-2000
Updated:	14-Mar-2008
Rating:	8.64/10.00
Vitality:	0.02%
Popularity:	5.29%
License:	GNU General Public License (GPL)
Version:	2.27.57

2. FFTW
The Fastest Fourier Transform in the West

Author: Matteo Frigo and Steven G. Johnson

No screenshot

[Development Status]		5 - Production/Stable
[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		OS Independent
[Programming Language]		C, ML
[Topic]		Scientific/Engineering :: Mathematics, Software Development :: Libraries

Added:	27-Aug-1998
Updated:	16-Nov-2008
Rating:	8.42/10.00
Vitality:	0.64%
Popularity:	3.67%
License:	GNU General Public License (GPL)
Version:	3.2

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.10%
Popularity:	1.83%
License:	MIT/X Consortium License
Version:	110.67

4. GeneWeb
A genealogy program with a Web interface.

Author: Daniel de Rauglaudre

No screenshot

[Development Status]		5 - Production/Stable
[Environment]		Web Environment
[Intended Audience]		End Users/Desktop
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		MacOS X, Microsoft :: Windows, POSIX
[Programming Language]		ML
[Topic]		Database :: Database Engines/Servers, Internet :: WWW/HTTP :: Dynamic Content :: CGI Tools/Libraries, Internet :: WWW/HTTP :: HTTP Servers

Added:	02-Sep-1998
Updated:	31-May-2003
Rating:	8.59/10.00
Vitality:	0.01%
Popularity:	1.10%
License:	GNU General Public License (GPL)
Version:	4.09

5. MyPhpMoney
A PHP tool written to manage bank accounts.

Author: tobozo

[Development Status]		2 - Pre-Alpha
[Environment]		Web Environment
[Intended Audience]		End Users/Desktop
[License]		OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System]		OS Independent
[Programming Language]		ML, PHP, SQL
[Topic]		Office/Business, Utilities

Added:	18-Oct-2002
Updated:	03-Apr-2003
Rating:	8.33/10.00
Vitality:	0.00%
Popularity:	1.01%
License:	GNU Lesser General Public License (LGPL)
Version:	1.3RC3

6. Isabelle
A generic theorem-proving environment.

Author: The Isabelle Team

No screenshot

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based), X11 Applications
[License]		OSI Approved :: BSD License (revised)
[Operating System]		MacOS X, POSIX :: Linux, POSIX :: SunOS/Solaris
[Programming Language]		ML
[Topic]		Education, Scientific/Engineering :: Mathematics

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

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based), No Input/Output (Daemon)
[Intended Audience]		End Users/Desktop, System Administrators
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		POSIX
[Programming Language]		ML
[Topic]		Internet :: WWW/HTTP

Added:	19-Dec-2000
Updated:	07-Mar-2002
Rating:	8.44/10.00
Vitality:	0.00%
Popularity:	0.68%
License:	GNU General Public License (GPL)
Version:	1.2.5

8. MLton
An optimizing Standard ML compiler.

Author: Stephen Weeks

No screenshot

[Development Status]		5 - Production/Stable
[Intended Audience]		Developers
[License]		OSI Approved :: BSD License (original)
[Operating System]		MacOS X, Microsoft :: Windows :: Windows NT/2000/XP, POSIX :: BSD :: FreeBSD, POSIX :: BSD :: NetBSD, POSIX :: BSD :: OpenBSD, POSIX :: Linux, POSIX :: SunOS/Solaris
[Programming Language]		ML
[Topic]		Software Development :: Compilers

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

[Development Status]		6 - Mature
[Environment]		Console (Text Based)
[Intended Audience]		Developers, Quality Engineers
[License]		OSI Approved :: BSD License (revised)
[Operating System]		Microsoft :: Windows :: Windows NT/2000/XP, POSIX
[Programming Language]		ML
[Topic]		Scientific/Engineering :: Mathematics, Software Development, Software Development :: Quality Assurance

Added:	11-Mar-2003
Updated:	14-Jan-2007
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.44%
License:	BSD License (revised)
Version:	4

10. WDialog
A framework to create dialog-centric Web applications.

Author: GPS

No screenshot

[Development Status]		5 - Production/Stable
[Environment]		Web Environment
[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		POSIX
[Programming Language]		ML
[Topic]		Internet :: WWW/HTTP :: Dynamic Content :: CGI Tools/Libraries, Software Development :: Libraries :: Application Frameworks, Software Development :: User Interfaces, Software Development :: Widget Sets

Added:	17-Feb-2002
Updated:	02-Apr-2003
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.43%
License:	GNU General Public License (GPL)
Version:	2.00

11. HOL-TestGen
A test case generator for specification based units.

Author: Achim D. Brucker

[Intended Audience]		Developers
[License]		DFSG approved, OSI Approved :: BSD License (revised), OSI Approved :: GNU General Public License (GPL)
[Programming Language]		ML
[Topic]		Software Development :: Testing

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

[Development Status]		5 - Production/Stable
[Intended Audience]		Developers
[License]		OSI Approved :: BSD License (revised)
[Operating System]		MacOS X, Microsoft :: Windows, POSIX :: Linux
[Programming Language]		ML
[Topic]		Software Development :: Interpreters

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

[Development Status]		6 - Mature
[Environment]		Web Environment
[Intended Audience]		End Users/Desktop
[License]		Free for non-commercial use, OSI Approved :: GNU General Public License (GPL)
[Operating System]		OS Independent
[Programming Language]		ML, Unix Shell :: Bash
[Topic]		Artistic Software, Desktop Environment :: Theme Resources :: Icons, Internet :: WWW/HTTP

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

[Development Status]		5 - Production/Stable
[Environment]		X11 Applications
[Intended Audience]		End Users/Desktop
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		POSIX
[Programming Language]		ML
[Topic]		Scientific/Engineering, Scientific/Engineering :: Mathematics

Added:	18-Feb-1999
Updated:	22-Feb-2003
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.24%
License:	GNU General Public License (GPL)
Version:	0.8.3

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

[Development Status]		5 - Production/Stable
[Intended Audience]		Developers
[License]		OSI Approved :: BSD License (original), OSI Approved :: MIT/X Consortium License
[Operating System]		OS Independent
[Programming Language]		ML
[Topic]		Software Development :: Libraries

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

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based)
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		OS Independent
[Programming Language]		ML
[Topic]		Software Development :: Interpreters

Added:	29-Apr-2002
Updated:	29-Apr-2002
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.20%
License:	GNU General Public License (GPL)
Version:	1.0.0

18. bibgrep
Indexes and searches BibTex files using Google-like queries.

Author: Guillaume Marceau

[Development Status]		4 - Beta
[Environment]		Console (Text Based)
[Intended Audience]		End Users/Desktop
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		MacOS, MacOS X, Microsoft :: Windows :: Windows 95/98/ME, Microsoft :: Windows :: Windows NT/2000/XP, POSIX :: Linux
[Programming Language]		ML
[Topic]		Text Processing :: Markup :: TeX/LaTeX

Added:	15-Mar-2003
Updated:	10-Feb-2004
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.19%
License:	GNU General Public License (GPL)
Version:	0.51

19. XSL Preprocessor
A preprocessor for XSLT stylesheets.

Author: Michal Moskal

No screenshot

[Development Status]		4 - Beta
[Intended Audience]		Developers
[License]		OSI Approved :: BSD License (original)
[Programming Language]		ML, OCaml
[Topic]		Software Development :: Interpreters, Software Development :: Pre-processors, Text Processing :: Filters, Text Processing :: Markup :: XML

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

20. Moscow ML
An implementation of Standard ML.

Author: Peter Sestoft

No screenshot

[Development Status]		6 - Mature
[Intended Audience]		Developers
[License]		Free To Use But Restricted
[Operating System]		MacOS X, Microsoft :: Windows, POSIX :: Linux
[Programming Language]		ML
[Topic]		Software Development :: Interpreters

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. JSON for Objective Caml
An implementation of JSON under Objective Caml.

Author: Rafael 'Dido' Sevilla

No screenshot

[Development Status]		4 - Beta
[Intended Audience]		Developers
[License]		OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System]		OS Independent
[Programming Language]		ML
[Topic]		Software Development :: Libraries, Text Processing :: Markup

Added:	20-Aug-2003
Updated:	20-Aug-2003
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.17%
License:	GNU Lesser General Public License (LGPL)
Version:	1.0

22. Camlserv
A Web server with a fast and easy scripting language.

Author: Jurjen Stellingwerff

No screenshot

[Development Status]		4 - Beta
[Environment]		No Input/Output (Daemon), Web Environment
[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		OS Independent
[Programming Language]		C, ML
[Topic]		Database :: Front-Ends, Internet :: WWW/HTTP :: Dynamic Content, Internet :: WWW/HTTP :: HTTP Servers, Software Development :: Interpreters, Software Development :: Libraries

Added:	12-Jun-2003
Updated:	12-Jun-2003
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.17%
License:	GNU General Public License (GPL)
Version:	0.1

23. pxpvalidate
An XML validator

Author: GPS

No screenshot

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based), Web Environment
[Intended Audience]		Developers, Quality Engineers, System Administrators
[License]		OSI Approved :: BSD License (original)
[Operating System]		OS Independent
[Programming Language]		ML
[Topic]		Internet, Internet :: WWW/HTTP :: Site Management, Software Development :: Quality Assurance

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

[Development Status]		4 - Beta
[Environment]		Console (Text Based), Web Environment
[Intended Audience]		Developers
[License]		OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System]		POSIX
[Programming Language]		ML
[Topic]		Database :: API, Internet :: WWW/HTTP :: Dynamic Content, Internet :: WWW/HTTP :: Dynamic Content :: CGI Tools/Libraries, Software Development :: Compilers
[Translations]		English

Added:	29-Dec-2004
Updated:	29-Dec-2004
Rating:	(not rated)
Vitality:	0.00%
Popularity:	0.14%
License:	GNU Lesser General Public License (LGPL)
Version:	0.1

25. ML Kit with Regions
An SML compiler.

Author: M. Tofte, L. Birkedal, N. Rothwell, D. N. Turner, M. Elsman and others

No screenshot

[Development Status]		4 - Beta
[Intended Audience]	&