IDE บนเว็บสำหรับการเขียนโปรแกรมลอจิก
loide-pwa
ลิ้นตัว
วัตถุประสงค์
โครงการ Loide มีวัตถุประสงค์เพื่อสร้างสภาพแวดล้อมการพัฒนาแบบบูรณาการบนเว็บแบบแยกส่วนและขยายได้ (IDE) สำหรับการเขียนโปรแกรมตรรกะโดยใช้เทคโนโลยีและภาษาที่ทันสมัย
โครงการนี้ยังมีจุดมุ่งหมายเพื่อพัฒนาบริการเว็บที่เสนอชุด APIs มาตรฐานสำหรับภาษาที่ใช้ตรรกะต่างๆ
สำหรับรายละเอียดเพิ่มเติมเกี่ยวกับ API โปรดดูวิกิ
คุณสมบัติที่สำคัญ
- เซิร์ฟเวอร์/ไคลเอนต์โอเพนซอร์ซ
- การใช้งานอ้างอิงที่มีอยู่เป็นซอฟต์แวร์ฟรีและโอเพนซอร์ซ (FOSS)
- API ที่ทำงานร่วมกันได้
- Open API ตามมาตรฐาน JSON Schema
- การใช้งานผู้ดำเนินการต้นแบบ
- การใช้งานอ้างอิงของ Solver Executors ในภาษาการเขียนโปรแกรมต่างๆ
- โปรโตคอลผู้บริหาร
- โปรโตคอลมาตรฐานสำหรับการค้นพบและการเรียกร้องของผู้ดำเนินการ
- การออกแบบที่ตอบสนอง
- ทำงานได้อย่างราบรื่นในอุปกรณ์ต่าง ๆ
- หลายภาษา/แก้ปัญหา
- รองรับหลายภาษาการเขียนโปรแกรมลอจิกและนักแก้ปัญหา
- การเลือกอินสแตนซ์ของผู้ดำเนินการ
- เลือกระหว่างสภาพแวดล้อมการดำเนินการที่แตกต่างกัน
- การไฮไลต์ไวยากรณ์
- ปรับปรุงความสามารถในการอ่านรหัสด้วยไวยากรณ์รหัสสี
- สนับสนุนหลายไฟล์
- ทำงานกับและจัดการหลายไฟล์พร้อมกัน
- การเน้นเอาต์พุต
- ระบุข้อมูลที่สำคัญในผลลัพธ์ผลลัพธ์ได้อย่างง่ายดาย
- การปรับแต่งเค้าโครง/ลักษณะที่ปรากฏ
- ปรับแต่งรูปลักษณ์ของ IDE ตามความชอบของคุณ
- แป้นพิมพ์ลัด
- เพิ่มประสิทธิภาพด้วยแป้นพิมพ์ลัด
- การกำหนดค่าตัวเลือกการดำเนินการ/ตัวเลือกตัวเลือก
- การตั้งค่าการปรับแต่งอย่างละเอียดสำหรับงานที่เฉพาะเจาะจง
- ฟังก์ชันการนำเข้า/ส่งออก
- บันทึกและแชร์การตั้งค่าไฟล์และโครงการได้อย่างง่ายดาย
ส่วนประกอบ
เนื่องจากโครงการ Loide ได้ขยายตัวอย่างมากในช่วงไม่กี่ปีที่ผ่านมาเราได้จัดตั้งที่เก็บแยกต่างหากสำหรับแต่ละองค์ประกอบ คุณสามารถค้นหาที่เก็บเหล่านี้ได้ที่นี่:
- loide-pwa
- Integrated Development Environment (IDE) สำหรับการเขียนโปรแกรมตรรกะที่พัฒนาขึ้นเป็นแอพพลิเคชั่นเว็บแบบก้าวหน้า (PWA)
- Loide-Api-Server
- เซิร์ฟเวอร์ API ที่ทำหน้าที่เป็นตัวกลางระหว่างไคลเอนต์ Loide และผู้ดำเนินการฝั่งเซิร์ฟเวอร์
- ลิ้นตัว
- รุ่นเก่าของ Loide: IDE บนเว็บสำหรับการเขียนโปรแกรมลอจิก
- งูหลาม
- Python Web App เพื่อดำเนินการโปรแกรมลอจิกกับตัวแก้ปัญหาที่แตกต่างกันโดยใช้ Embasp Framework
- ambaspserveRexecutor
- แอปพลิเคชัน Java เพื่อเรียกใช้โปรแกรมลอจิกกับตัวแก้ปัญหาที่แตกต่างกันโดยใช้เฟรมเวิร์ก Embasp
การกำหนดเวอร์ชัน
เราใช้เวอร์ชันความหมายสำหรับการกำหนดเวอร์ชัน
โปรดดูการเปิดตัวสำหรับรายการเวอร์ชันที่มีอยู่
การให้เครดิต
- Stefano Germano ( ผู้ประสานงานทางวิทยาศาสตร์ )
- Eliana Palermiti
- Rocco Palermiti
- Alexander Karaulshchikov
- Giorgio Andronico
- Marco Duca
- Francesco Calimeri ( หัวหน้างานวิทยาศาสตร์ )
จากภาควิชาคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ของมหาวิทยาลัยคาลาเบรีย
ใบอนุญาต
โครงการนี้ได้รับใบอนุญาตภายใต้ใบอนุญาต MIT
