| 1. | mGTK | | | Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
mgtk.sourceforge.net |
| 2. | Moscow ML | | | ML system for DOS, Linux, Windows.
www.dina.kvl.dk |
| 4. | Poly/ML | | | Compiler and environment for, full implementation of, Standard ML, has libraries for Windows, X Windows. [Open Source]
www.polyml.org |
| 7. | 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]
www.smlnj.org |
| 8. | 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.
cs1.cs.nyu.edu |
| 11. | 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.
www.informatik.uni-bremen.de |
| | |