Aceasta este aplicația Linux numită libmx a cărei ultimă versiune poate fi descărcată ca libmx-0.2.tar.gz. 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ă libmx 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.
SCREENSHOTS
Ad
libmx
DESCRIERE
„mx” este un driver de testare în linia de comandă pentru „libmx” (vezi mai jos) care evaluează atât tipul, cât și valoarea unei expresii de calcul lambda (http://en.wikipedia.org/wiki/Lambda_calculus) furnizate de utilizator.
„libnpmx.so” („npmx.dll” pe MS Windows) este un plugin NPAPI (http://en.wikipedia.org/wiki/NPAPI) pentru browserul web Mozilla Firefox bazat pe „libmx”.
„libmx” oferă un cadru pentru tratarea expresiilor de calcul lambda (extinse și tipărite opțional). Printre alte caracteristici pe care le oferă
o mașină de instanțiere a șablonului pentru evaluarea valorii unei expresii de calcul lambda,
o mașină de instanțiere a șablonului pentru evaluarea tipului Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) a unei expresii de calcul lambda și
o gestionarea memoriei bazată pe contor de referință pentru expresii și tipuri de calcul lambda.
„libmx” este scris în C (C99).
Interfața cu utilizatorul
Linie de comandă, pluginuri
Limbaj de programare
C
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/libmx/. 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.