Set China 1.0.0

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

• My Language ID ฟรี

  นี่เป็นแอปพลิเคชั่นง่ายๆที่พัฒนาขึ้นเพื่อช่วยให้นักพัฒนาสามารถตรวจจับรหัสภาษาและการอ้างอิงประเทศที่กําหนดค่าบนอุปกรณ์ Android

• Alleyoop ฟรี

  ตรอกซอกซอยเป็นส่วนหน้า GNOME ไปยังตัวตรวจสอบหน่วยความจํา Valgrind

• DOC2IGC ฟรี

  เครื่องมือนี้สามารถใช้ในการแปลง Soaring Pilot สร้างบันทึกการบินในรูปแบบ Palm DOC เป็นไฟล์บันทึก IGC สําหรับใช้กับซอฟต์แวร์การวิเคราะห์เที่ยวบินเช่น SeeYou และ SoaringDotNet หรืออัปโหลดเที่ยวบินของคุณไปยังเซิร์ฟเวอร์ OLC

• myinit ฟรี

  โปรแกรม 'init' ที่เรียบง่ายพร้อมการดําเนินการแบบขนานและการขึ้นต่อกันผ่านการนับการอ้างอิง (คําสั่ง 'เริ่มต้น' และ 'หยุด' )

• Breki CCNet Utilities ฟรี

  ปลั๊กอินสําหรับCruiseControl.NET ขณะนี้มีปลั๊กอินเพียงตัวเดียวเท่านั้น: BrekiLabeller - เครื่องติดฉลากที่กําหนดเองCruiseControl.NETของคุณ อนุญาตให้สร้างการติดฉลากในรูปแบบ "คํานําหน้า-M.m.B.R" แอปที่คล้ายกับ แนนท์ คอนทรีบ

• svnauthzctl ฟรี

  ยูทิลิตี้ขนาดเล็กสําหรับการจัดการกฎการเข้าถึงไปยังที่เก็บ Subversion การแก้ไขไฟล์ conf / authz

• Common Lisp Graph Tools ฟรี

  ไลบรารี Lisp ทั่วไปสําหรับการเป็นตัวแทนและการจัดการกราฟ อัลกอริทึมที่ดําเนินการ: subgraph isomorphism (Ullman), automorphism, canonicalization (Nauty), ส่วนประกอบที่เชื่อมต่อ / สหภาพค้นหา

• MetaAgent ฟรี

  ห้องสมุด C++ ที่มีเทมเพลตอย่างสมบูรณ์สําหรับพฤติกรรมการบังคับเลี้ยวของตัวแทนอิสระ (ตัวละคร) ไลบรารีมาเป็นแพคเกจที่คุณสามารถสร้างพฤติกรรมของคุณเองโดยใช้พลังของแม่แบบ

• OpenPoplog ฟรี

  OpenPoplog เป็นสภาพแวดล้อมการพัฒนาเครื่องเสมือนที่รวบรวมแบบหลายภาษาและรวบรวมเพิ่มขึ้นด้วยสื่อการเรียนการสอนและการสนับสนุนที่กว้างขวางของตัวเองสนับสนุนภาษา Pop-11, Prolog, Common Lisp และ ML บน Unix, VMS, Linux และ Windows

• UNB Theorem Prover? ฟรี

  เครื่องพิสูจน์ทฤษฎีบทอัตโนมัติถูกนํามาใช้ใน Java และใช้ต้นไม้อนุประโยค ซอฟต์แวร์นี้จะสามารถอ่านทฤษฎีคณิตศาสตร์จาก TPTP และพิสูจน์หรือทําลายพวกเขา