InglésFrancésEspañol

Ad


icono de página de OnWorks

Descarga de MLton para Linux

Descarga gratuita de la aplicación MLton Linux para ejecutar en línea en Ubuntu en línea, Fedora en línea o Debian en línea

Esta es la aplicación de Linux llamada MLton cuya última versión se puede descargar como mlton-20200817-amd64-mingw-gmp-dynamic.tgz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.

Descargue y ejecute en línea esta aplicación llamada MLton con OnWorks de forma gratuita.

Siga estas instrucciones para ejecutar esta aplicación:

- 1. Descargue esta aplicación en su PC.

- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 3. Cargue esta aplicación en dicho administrador de archivos.

- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 6. Descarga la aplicación, instálala y ejecútala.

mlton


Ad


DESCRIPCIÓN

MLton es un compilador de optimización de programa completo para ML estándar. MLton genera pequeños ejecutables con excelente rendimiento en tiempo de ejecución, utilizando números enteros, reales y palabras nativos sin etiquetar y sin caja, matrices nativas sin caja, aritmética rápida de precisión arbitraria basada en GnuMP y múltiples estrategias de generación de código y recolección de basura. Además, MLton proporciona un entorno de programación de ML estándar rico en funciones, con soporte completo para SML97 como se indica en La definición de ML estándar (revisada), una serie de extensiones de lenguaje útiles, una implementación completa de la biblioteca básica de ML estándar, varias bibliotecas útiles , una interfaz de función externa C simple y rápida, el sistema ML Basis para programar con bibliotecas fuente y herramientas como un generador de lexer, un generador de analizador y un generador de perfiles.



Público

Desarrolladores


Interfaz de usuario

Consola / Terminal, línea de comandos


Lenguaje de programación

ML estándar



Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/mlton/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

  • 1
    Cargador USBGX
    Cargador USBGX
    USBLoaderGX es una GUI para
    Cargador USB de Waninkoko, basado en
    libwiigui. Permite listar y
    lanzar juegos de Wii, juegos de Gamecube y
    homebrew en Wii y WiiU...
    Descargar USB Loader GX
  • 2
    Firebird
    Firebird
    Firebird RDBMS ofrece funciones ANSI SQL
    y se ejecuta en Linux, Windows y
    varias plataformas Unix. Características
    excelente concurrencia y rendimiento
    & energía...
    Descargar pájaro de fuego
  • 3
    KompoZer
    KompoZer
    KompoZer es un editor HTML wysiwyg que utiliza
    el código base de Mozilla Composer. Como
    El desarrollo de Nvu se ha detenido.
    en 2005, KompoZer corrige muchos errores y
    agrega una f...
    Descargar KompoZer
  • 4
    Descargador gratuito de manga
    Descargador gratuito de manga
    Free Manga Downloader (FMD) es un
    aplicación de código abierto escrita en
    Object-Pascal para gestionar y
    descargar manga de varios sitios web.
    esto es un espejo...
    Descargar descargador de manga gratuito
  • 5
    UNetbootin
    UNetbootin
    UNetbootin le permite crear booteables
    Unidades USB en vivo para Ubuntu, Fedora y
    otras distribuciones de Linux sin
    quemando un CD. Se ejecuta en Windows, Linux,
    y ...
    Descargar UNetbootin
  • 6
    Dolibarr ERP-CRM
    Dolibarr ERP-CRM
    Dolibarr ERP - CRM es un fácil de usar
    Paquete de software de código abierto ERP y CRM
    (ejecutar con un servidor web php o como
    software independiente) para empresas,
    cimientos...
    Descargar Dolibarr ERP - CRM
  • Más "

Comandos de Linux

Ad