Questa è l'app di Windows denominata libmx la cui ultima versione può essere scaricata come libmx-0.2.tar.gz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app denominata libmx con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI
Ad
libmx
DESCRIZIONE
"mx" è un test driver della riga di comando per "libmx" (vedi sotto) che valuta sia il tipo che il valore di un'espressione di calcolo lambda (http://en.wikipedia.org/wiki/Lambda_calculus) forniti dall'utente.
"libnpmx.so" ("npmx.dll" su MS Windows) è un plugin NPAPI (http://en.wikipedia.org/wiki/NPAPI) per il browser web Mozilla Firefox basato su "libmx".
"libmx" fornisce un framework per gestire le espressioni di lambda calcolo (estese e tipizzate facoltativamente). Tra le altre caratteristiche che fornisce
o una macchina di istanziazione modello per valutare il valore di un'espressione di lambda calcolo,
o una macchina per la creazione di istanze di modelli per valutare il tipo Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) di un'espressione di lambda calcolo, e
o gestione della memoria basata su contatori di riferimento per espressioni e tipi di lambda calcolo.
"libmx" è scritto in C (C99).
Interfaccia utente
Riga di comando, Plugin
Linguaggio di programmazione
C
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/libmx/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.