|
|
|
|
Poly/ML
Compiler and environment for, full implementation of, Standard ML, has libraries for MS Windows, X Window. [Open Source]
http://www.polyml.org/
|
|
|
Standard ML of New Jersey (SML/NJ)
A compiler and programming environment for Standard ML language, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. [Open Source, Lucent]
http://www.smlnj.org/
|
|
|
MLRISC
Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to multiple architectures. Deals elegantly with special requirements imposed by the execution model of different high-level, typed languages.
http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/
|
|
|
|
sml_tk
A Standard ML package providing a portable, typed and abstract interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML.
http://www.informatik.uni-bremen.de/~cxl/sml_tk/
|
|
|
|
|
|