UNB Theorem Prover?

หลักสูตรที่เกี่ยวข้อง

• fastAOP ฟรี

  FastAOP เป็นเฟรมเวิร์ก AOP (การเขียนโปรแกรมเชิงด้าน) ที่มีประสิทธิภาพสูงมากสําหรับจาวา เริ่มแรกเฟรมเวิร์ก พัฒนาเพื่อสนับสนุนการจัดทําโปรไฟล์ประสิทธิภาพและการตรวจสอบสําหรับแอปพลิเคชัน J2EE ขนาดใหญ่ที่มีเกือบจะไม่มี overhad ร

• Butterfly Code Generator ฟรี

  ผีเสื้อเป็นเครื่องกําเนิดไฟฟ้ารหัสที่เรียบง่ายโดยใช้ XMI เป็นอินพุตและแม่แบบ XSLT เพื่อสร้างรหัสประเภทใดก็ได้ มีเทมเพลตหลายแบบรวมถึง EJB, JDO และ Struts ผู้ใช้อาจใช้แม่แบบ ปรับเปลี่ยน หรือสร้างแม่แบบใหม่โดยใช้ XSL

• Neural network designer ฟรี

  โครงการนี้ประกอบด้วยแอปพลิเคชันนักออกแบบที่ใช้ Windows และไลบรารี (ที่สามารถทํางานบนหลายแพลตฟอร์มรวมถึง Android) พร้อมกับแอปพลิเคชันสาธิตหลายตัว (รวมถึงไคลเอนต์แชทบอท MVC3 และแอปพลิเคชัน Android)มันอาจจะดีที่สุดเมื่อเทียบกั

• DL-Learner ฟรี

  DL-Learner เป็นเครื่องมือสําหรับแนวคิดการเรียนรู้ใน Description Logics (DLs) จากตัวอย่างที่ผู้ใช้ให้ไว้ ในทํานองเดียวกันสามารถใช้เพื่อเรียนรู้ชั้นเรียนใน OWL ontologies จากวัตถุที่เลือก

• MakeEmbeddedRootfilesystem ฟรี

  Makerootfs ทําให้ง่ายต่อการสร้างระบบไฟล์รากสําหรับอุปกรณ์ฝังตัว (เช่น ARM based) โดยกระบวนการคอมไพล์ข้ามผ่านสคริปต์เชลล์แพทช์และการกําหนดค่าเริ่มต้นโดยอัตโนมัติ ซึ่งแตกต่างจาก buildroot ที่ใช้ uClibc makerootfs ใช้ glibc เต็ม

• VCS Agents and Tools ฟรี

  เป้าหมายของโครงการนี้คือการให้ปลั๊กอิน ("agents") สําหรับเซิร์ฟเวอร์คลัสเตอร์ Veritas บนพื้นฐานโอเพ่นซอร์ส

• Etnia Workbench ฟรี

  ส่วนขยายสําหรับโครงการ CDT wich กําหนดค่าคอมไพเลอร์พิเศษและปลั๊กอินอื่น ๆ เพื่อให้รวมรูปแบบต่างๆ (จริง ๆ แล้ว Texas Instrument & PIC ไมโครโปรเซสเซอร์)

• Steini\'s Mini Compiler ฟรี

  คอมไพเลอร์ขนาดเล็กของ Steini\'s เป็นคอมไพเลอร์ DOS 16 บิตที่รวดเร็ว โปรดช่วยปรับปรุงภาษาการเขียนโปรแกรมที่เขียนคําสั่งใหม่ คอมไพเลอร์ใช้ชุดของไฟล์แอสเซมบลีสําหรับกระบวนการคอมไพล์

• JCustomizer ฟรี

  เป้าหมายของโครงการ JCustomizer คือการปรับแต่งทั่วไปและถาวรของ Java Swing / AWT GUI ทุกรันไทม์: แบบอักษรสีข้อความคันเร่ง การควบรวมที่ดีคือการเข้าถึง WYSIWYG สู่ความเป็นสากลโดยไม่ต้องใช้การเขียนโปรแกรม

• net.sourceforge.ajstruts ฟรี

  ซอร์สโค้ดของบทความ (http://ajstruts.sf.net) ที่ตีพิมพ์ใน 11/2003 ในนิตยสารภาษาเยอรมัน "Java Magazin" แสดงวิธีการปรับ libs บุคคลที่ 3 (เช่นสตรัท) ให้เข้ากับความต้องการของโครงการและง่ายต่อการย้ายข้อมูลไปยังไลบรารี