RSS 7 projects tagged "Linux"

No download Website Updated 06 Dec 2005 MLton

Screenshot
Pop 58.25
Vit 4.06

MLton is a whole-program optimizing Standard ML compiler. It generates standalone executables with excellent runtime performance, supports the full SML 97 language, and has a complete basis library. It also has a fast C FFI, source-level time and allocation profiling, and many useful libraries.

Download Website Updated 30 Apr 2008 SML/NJ

Screenshot
Pop 146.23
Vit 10.40

sml/nj (Standard ML of New Jersey) consists of a compiler, compilation manager, and libraries for Standard ML. Included are CML (Concurrent ML) and eXene (a toolkit for X based on CML). The compiler produces efficient code for most popular architectures (Intel x86, Sparc, Alpha, Mips, HP-PA, PowerPC) and runs under Unix, Linux, or Windows (95,98,NT).

Download Website Updated 10 May 2001 mGTK

Screenshot
Pop 13.96
Vit 1.00

mGTK is glue code to make GTK+ accessible from Standard ML. It provides a convenient way for SML programmers to add GUI features to an applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.

No download Website Updated 02 Feb 2002 SMLserver

Screenshot
Pop 9.75
Vit 66.77

SMLserver is a Web server plugin for AOLserver, an Open Source multi-threaded Web server provided by America Online and used for large-scale, dynamic Web sites. SMLserver allows efficient threaded execution of Standard ML programs and inherits many of the great features of AOLserver, including the possibility of accessing a variety of different relational database management systems (RDBMSs), such as Oracle, MySQL, and PostgreSQL.

Download Website Updated 06 Feb 2002 ML Kit

Screenshot
Pop 16.00
Vit 66.74

ML Kit is a compiler for the programming language Standard ML.

Download Website Updated 03 May 2003 Moscow ML

Screenshot
Pop 18.49
Vit 1.00

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Download Website Updated 18 Sep 2006 Alice ML

Screenshot
Pop 35.24
Vit 1.55

Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.

Screenshot

Project Spotlight

Polipo

A lightweight caching Web proxy.

Screenshot

Project Spotlight

Catharsis.Grails.Widgets

A Grails 2 tag library that provides useful social media tags to include in Web pages.