Archive of Formal Proofs 2011

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

• ADAM Abstract Data Access Models ฟรี

  เฟรมเวิร์ก Java 2 เฟรมเวิร์กที่มีรูปแบบวัตถุชั่วคราวและถาวรตามวิธีการที่ไม่เป็นมาตรฐาน (การพัฒนาที่เห็นได้ชัดน้อยกว่า แต่เร็วขึ้น): ไลบรารีที่ไม่ใช่วัตถุ 3 รายการลดความซับซ้อนในการเข้าถึงตารางที่เก็บไว้ใน RDB ไฟล์ข้อความ ฯลฯ

• Jedora Remix VM ฟรี

  เครื่องใช้เสมือนเครื่อง Linux (สําหรับ Virtualbox) Fedora Remix นี้ให้ความสําคัญกับแอปพลิเคชันที่ใช้ Java รวมถึงOpenOffice.org, OpenJDK, ปลั๊กอินเบราว์เซอร์ (IcedTea) และแอปพลิเคชันที่ใช้ Java ยอดนิยมเช่น Azureus / Vuze, jEdi

• DataAide ฟรี

  DataAide เป็นVB.Netเดสก์ท็อปที่ใช้เครื่องมือไคลเอ็นต์ SQL Server 2000 เพื่อสร้างคลาส VB.Net, C# หรือ VB6 และกระบวนงานที่เก็บไว้สําหรับตารางในฐานข้อมูล SQL Server 2k นอกจากนี้ยังสร้างรหัสADO.Net ADO เพื่อเรียกกระบวนงานที่เก็บไ

• BlackFox OM (30' Series) ฟรี

  BlackFox OM (BlackFox, The Object Model) เป็นห้องสมุดสําหรับการถือครองและจัดการรูปแบบวัตถุของระบบแอปพลิเคชันและห้องสมุดใด ๆ คุณสามารถใช้มันเป็นส่วนหนึ่งของเครื่องมือ UML, ส่วนหนึ่งของเครื่องกําเนิดไฟฟ้ารหัส, ส่วนหนึ่งของระบบป

• InfraHID ฟรี

  วัตถุประสงค์ของโครงการคือการอนุญาตให้เว็บคามปกติที่จะใช้เป็นอุปกรณ์อินเตอร์เฟซมนุษย์ (HID) ตัวอย่างของวิธีการใช้ซอฟต์แวร์นี้จะใช้คือ: เมาส์, ควบคุมวิดีโอเกม, กระดานไวท์บอร์ดอิเล็กทรอนิกส์หรือการเปลี่ยนแท็บเล็ตพีซี

• Prop compiler compiler ฟรี

  Prop เป็นภาษาการจับคู่รูปแบบตาม C++ มันใช้ชนิดข้อมูลพีชคณิตการจับคู่รูปแบบและการเขียนใหม่และสร้างรหัส C ++ เป็นเอาต์พุต

• ga-flamoot ฟรี

  อัลกอริทึมทางพันธุกรรมใน Python สําหรับการพัฒนาโปรแกรมที่เขียนสตริงที่กําหนดไปยัง dataspace ที่จัดสรรโดยใช้ภาษาเครื่องที่ทําขึ้นด้วยคําแนะนําเพียง 7 คําแนะนําและการกลับตัวของการไหล

• Fennel ฟรี

  ยี่หร่าเป็นห้องสมุดของการจัดเก็บข้อมูลและการประมวลผลส่วนประกอบที่เขียนใน C ++ มันได้รับการพัฒนาเป็นโครงการย่อยของโครงการ Eigenbase และยังทําหน้าที่เป็นพื้นผิวสําหรับโครงการ Farrago

• NExcel ฟรี

  ไลบรารี NExcel อนุญาตให้โปรแกรมประยุกต์ .NET อ่านแฟ้ม Ms Excel ได้ เข้ากันได้กับ Excel 97 และด้านบน ไม่จําเป็นต้องติดตั้ง Ms Office Excel หรือไลบรารีของบริษัทอื่น อ้างอิงจาก JExcelAPI โดย แอนดรูว์ คาน

• OpenTag ฟรี

  OpenTag เป็นสแต็คการสื่อสารเต็มรูปแบบสําหรับ DASH7 Mode 2 (ISO 18000-7.4) มันมีวัตถุประสงค์เพื่อทํางานบน HW ฝังตัวโดยเฉพาะอย่างยิ่ง RF SoCs แต่มันสามารถพอร์ตได้เกือบทุกอย่าง ความสําเร็จหลักของ OpenTag คือคุณสมบัติขนาดใหญ่ แต่