هذا هو تطبيق Linux المسمى libmx والذي يمكن تنزيل أحدث إصدار له باسم libmx-0.2.tar.gz. يمكن تشغيله عبر الإنترنت في موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى libmx مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
لقطات الشاشة:
libmx
الوصف:
"mx" هو برنامج تشغيل اختبار سطر أوامر لـ "libmx" (انظر أدناه) لتقييم كل من نوع وقيمة تعبير حساب lambda (http://en.wikipedia.org/wiki/Lambda_calculus) المقدمة من المستخدم.
"libnpmx.so" ("npmx.dll" على MS Windows) هو مكون إضافي لـ NPAPI (http://en.wikipedia.org/wiki/NPAPI) لمتصفح الويب Mozilla Firefox المستند إلى "libmx".
يوفر "libmx" إطار عمل للتعامل مع تعبيرات حساب التفاضل والتكامل (الموسعة والاختيارية) lambda. من بين الميزات الأخرى التي يوفرها
oa آلة إنشاء إنشاء مثيل لتقييم قيمة تعبير حساب لامدا ،
oa آلة إنشاء مثيل للقالب لتقييم نوع Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) لتعبير لامدا في حساب التفاضل والتكامل ، و
o إدارة الذاكرة القائمة على العداد المرجعي لتعبيرات وأنواع حساب لامدا.
"libmx" مكتوب بلغة C (C99).
واجهة المستخدم
سطر الأوامر ، الإضافات
لغة البرمجة
C
الفئات
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/libmx/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.