7 projects tagged "Linux"
Updated 18 Sep 2006
Alice ML
| Pop | 37.32 |
|---|---|
| Vit | 1.56 |
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.
Updated 03 May 2003
Moscow ML
| Pop | 20.27 |
|---|---|
| Vit | 1.00 |
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Updated 06 Feb 2002
ML Kit
| Pop | 19.95 |
|---|---|
| Vit | 64.43 |
ML Kit is a compiler for the programming language Standard ML.
Updated 02 Feb 2002
SMLserver
| Pop | 11.58 |
|---|---|
| Vit | 64.46 |
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.
Updated 10 May 2001
mGTK
| Pop | 14.49 |
|---|---|
| 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.
Updated 06 Dec 2005
MLton
| Pop | 70.75 |
|---|---|
| Vit | 4.14 |
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.
Updated 30 Apr 2008
SML/NJ
| Pop | 140.30 |
|---|---|
| Vit | 10.89 |
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).
