EnglezăFrancezăSpaniolă

Ad


Favicon OnWorks

Descărcare MLton pentru Linux

Descărcați gratuit aplicația MLton Linux pentru a rula online în Ubuntu online, Fedora online sau Debian online

Aceasta este aplicația Linux numită MLton a cărei cea mai recentă versiune poate fi descărcată ca mlton-20200817-amd64-mingw-gmp-dynamic.tgz. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.

Descărcați și rulați online această aplicație numită MLton cu OnWorks gratuit.

Urmați aceste instrucțiuni pentru a rula această aplicație:

- 1. Ați descărcat această aplicație pe computer.

- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.

- 3. Încărcați această aplicație într-un astfel de manager de fișiere.

- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.

- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.

- 6. Descărcați aplicația, instalați-o și rulați-o.

MLton


Ad


DESCRIERE

MLton este un compilator de optimizare a întregului program pentru Standard ML. MLton generează executabile mici, cu performanțe de rulare excelente, utilizând numere întregi native neetichetate și neboxate, reali și cuvinte, matrice native fără casete, aritmetică rapidă de precizie arbitrară bazată pe GnuMP și strategii multiple de generare de cod și colectare a gunoiului. În plus, MLton oferă un mediu de programare Standard ML bogat în funcții, cu suport complet pentru SML97, așa cum este prezentat în Definiția ML standard (revizuită), o serie de extensii de limbaj utile, o implementare completă a Bibliotecii de bază Standard ML, diverse biblioteci utile , o interfață C simplă și rapidă cu funcții străine, sistemul ML Basis pentru programare cu biblioteci sursă și instrumente precum un generator de lexer, un generator de parser și un profiler.



Public

Dezvoltatorii


Interfața cu utilizatorul

Consolă/Terminal, linie de comandă


Limbaj de programare

ML standard



Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/mlton/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.


Servere și stații de lucru gratuite

Descărcați aplicații Windows și Linux

  • 1
    USBLoaderGX
    USBLoaderGX
    USBLoaderGX este o interfață grafică pentru
    Încărcătorul USB al lui Waninkoko, bazat pe
    libwiigui. Permite listarea și
    lansarea de jocuri Wii, jocuri Gamecube și
    homebrew pe Wii și WiiU...
    Descărcați USBLoaderGX
  • 2
    Firebird
    Firebird
    Firebird RDBMS oferă caracteristici ANSI SQL
    și rulează pe Linux, Windows și
    mai multe platforme Unix. Caracteristici
    concurență și performanță excelente
    & putere...
    Descărcați Firebird
  • 3
    KompoZer
    KompoZer
    KompoZer este un editor HTML wysiwyg care utilizează
    baza de cod Mozilla Composer. La fel de
    Dezvoltarea Nvu a fost oprită
    în 2005, KompoZer remediază multe erori și
    adaugă un f...
    Descărcați KompoZer
  • 4
    Descărcător gratuit de manga
    Descărcător gratuit de manga
    Free Manga Downloader (FMD) este un
    aplicație open source scrisă în
    Object-Pascal pentru gestionarea și
    descărcarea manga de pe diverse site-uri web.
    Aceasta este o oglindă...
    Descărcați gratuit Manga Downloader
  • 5
    UNetbootin
    UNetbootin
    UNetbootin vă permite să creați bootable
    Unități USB live pentru Ubuntu, Fedora și
    alte distribuții Linux fără
    arderea unui CD. Se rulează pe Windows, Linux,
    şi ...
    Descărcați UNetbootin
  • 6
    Dolibarr ERP - CRM
    Dolibarr ERP - CRM
    Dolibarr ERP - CRM este ușor de utilizat
    Pachetul software ERP și CRM open source
    (rulați cu un server web php sau ca
    software autonom) pentru companii,
    fundatii...
    Descărcați Dolibarr ERP - CRM
  • Mai mult »

Comenzi Linux

Ad