MLKit
MLKit
http://www.itu.dk/research/mlkit
Compiler for the Standard ML programming language
This is a candidate for deletion: Links broken. No archive.org entry. Email to maintainer broken. Poppy-one (talk) 08:37, 1 September 2018 (EDT)
The MLKit is a full-blown compiler for the programming language Standard ML. The MLKit implements most of the Basis Library and has support for ML Basis Files. The compiler runs on the Linux platform and targets the x86 architecture. The MLKit includes a graphical region profiler, which helps gain detailed control over memory reuse. The example graph to the right shows a region profile (region sizes as a function of time) of two hundred generations of the `Game of Life'. Programmers who are interested in real-time programming can exploit the possibility of disabling reference-tracing garbage collection. In this case, there will be no interruptions of unbounded duration at runtime.
Licensing
License
Verified by
Verified on
Notes
Leaders and contributors
| Contact(s) | Role |
|---|---|
| Martin Elsman | Maintainer |
Resources and communication
| Audience | Resource type | URI |
|---|---|---|
| Developer | Mailing List Info/Archive | http://lists.sourceforge.net/mailman/listinfo/mlkit-devel |
| Bug Tracking | VCS Repository Webview | http://www.it-c.dk/research/mlkit/index.php/Bugs |
| Developer | VCS Repository Webview | https://sourceforge.net/svn/?group_id=159894 |
Software prerequisites
| Kind | Description |
|---|---|
| Required to build | Standard ML of New Jersey version 110.0.7 |
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.
The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.