|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
mlton
| mlton | Optimizing compiler for Standard ML | | Priority | |
| Section | devel |
| Installed size | 28556 |
| Maintainer | Stephen Weeks <sweeks@sweeks.com> |
| Architecture | i386 |
| Version | 20061107-1 |
| Depends | libc6 (>= 2.3.6-6), libgmp3c2, gcc, libc6-dev, libgmp3-dev (>= 4.0.1) |
| Suggests | mlterm-tools, unifont, xfonts-efont-unicode, ttf-kochi-gothic, ttf-baekmuk, ttf-arphic-bsmi00lp, ttf-arphic-gbsn00lp, ttf-freefont, t1-cyrillic, mlterm-im-uim |
| File name | pool/main/m/mlton/mlton_20061107-1_i386.deb |
| Description | MLton (mlton.org) is a whole-program optimizing compiler for Standard ML. MLton generates standalone executables with excellent runtime performance, is SML 97 compliant, and has a complete basis library. MLton has source-level profiling, a fast C FFI, an interface to the GNU multiprecision library, and lots of useful libraries. |
|
|
|
Etude RTOS