นี่คือแอป Linux ชื่อ libmx ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น libmx-0.2.tar.gz สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ libmx พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ
Ad
libmx
DESCRIPTION
"mx" เป็นโปรแกรมควบคุมการทดสอบบรรทัดคำสั่งสำหรับ "libmx" (ดูด้านล่าง) การประเมินทั้งประเภทและค่าของนิพจน์แคลคูลัสแลมบ์ดา (http://en.wikipedia.org/wiki/Lambda_calculus) จัดทำโดยผู้ใช้
"libnpmx.so" ("npmx.dll" บน MS Windows) เป็นปลั๊กอิน NPAPI (http://en.wikipedia.org/wiki/NPAPI) สำหรับเว็บเบราว์เซอร์ Mozilla Firefox ที่ใช้ "libmx"
"libmx" จัดเตรียมกรอบงานสำหรับจัดการกับนิพจน์แคลคูลัสแลมบ์ดา ท่ามกลางคุณสมบัติอื่น ๆ ที่มีให้
เครื่องสร้างอินสแตนซ์เทมเพลต oa สำหรับการประเมินค่าของนิพจน์แคลคูลัสแลมบ์ดา
เครื่องสร้างอินสแตนซ์เทมเพลต oa สำหรับการประเมินประเภท Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) ของนิพจน์แคลคูลัสแลมบ์ดาและ
การจัดการหน่วยความจำตามตัวนับอ้างอิงสำหรับนิพจน์แคลคูลัสแลมบ์ดาและประเภท
"libmx" เขียนด้วย C (C99)
ส่วนติดต่อผู้ใช้
บรรทัดคำสั่ง ปลั๊กอิน
ภาษาโปรแกรม
C
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/libmx/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
