Yet Another QuickCheck for Java 0.0.1

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

• ds-Lucas ฟรี

  Project ds-Lucas เป็นสคริปต์ PHP ที่เรียบง่ายซึ่งแยกสคริปต์ PHP และเทมเพลต HTML ของคุณ รวมถึงฟังก์ชั่นเพื่อเอาท์พุทหลายบรรทัดจัดการกับเอาต์พุตไฟล์ภายนอกเอาต์พุตการตั้งค่าหลาย

• HInput ฟรี

  HInput เป็นเลเยอร์นามธรรมอินพุตที่ออกแบบมาเพื่อถอดรหัสรหัสเกมจากการใช้งานอินพุต ระบบขับเคลื่อนด้วยข้อมูลอย่างสมบูรณ์และสามารถปรับเปลี่ยนและ / หรือกําหนดค่าในขณะใช้งานจริง

• P3: The Portable Unix Programming System ฟรี

  PUPS/P3 อํานวยความสะดวกในการพัฒนาการประมวลผลแบบหลายโฮสต์หลายกระบวนการโดยการจัดหาเครื่องมือในการเลียนแบบอาณานิคมของสิ่งมีชีวิตโฮมเมด มันอนุญาตให้มีการคํานวณถาวรการป้องกันทรัพยากร homeostatic และการสื่อสารระหว่างกระบวนการแบบอะซ

• Brainiac Artificial Intelligence ฟรี

  Brainiac เป็นห้องสมุด C / C ++ โปรแกรมและงูหลามและสคริปต์ Lua สําหรับเครือข่ายประสาทและการเขียนโปรแกรมทางพันธุกรรมในความพยายามที่จะสร้าง & quot;Glue-it-Together" โครงการมุ่งมั่นที่จะปัญญาประดิษฐ์ทั่วไป

• PeiAsm ฟรี

  ตัวประกอบ/อิมูเลเตอร์แบบหลายหน่วย PeiAsm สําหรับ Windows x86 -รหัสโดย M. Keaton (วิธีการโพลีเอสเตอร์)

• Proton Voltage Control ฟรี

  โปรดก่อนที่จะออกจากการตรวจสอบระดับ 1 ดาวว่าคุณกําลังเรียกใช้เคอร์เนลที่สนับสนุนใน Nexus S หรือ Nexus S 4G เราพร้อมให้บริการสําหรับการแก้ไขข้อบกพร่องผ่านลิงก์ "เยี่ยมชมเว็บไซต์ของนักพัฒนาซอฟต์แวร์" ด้านล่างการควบคุมแรงดันไ

• syncSQL ฟรี

  syncSQL เป็นสคริปต์ CVS ฝั่งเซิร์ฟเวอร์ perl ที่ส่งข้อมูลการยอมรับไปยังฐานข้อมูล mySQL ดังนั้นการยอมรับสามารถดูติดตามและกรองผ่านหน้าเว็บที่เรียบง่ายหรือไคลเอนต์ mySQL ใด ๆ

• GLipKit ฟรี

  GLipKit (ชุดประมวลผลภาพ GL) เป็นชุดของการประมวลผลภาพและอัลกอริทึมการมองเห็นคอมพิวเตอร์ที่ดําเนินการบนฮาร์ดแวร์กราฟิก 3 มิติที่ตั้งโปรแกรมได้ในปัจจุบันเพื่อการดําเนินการที่รวดเร็วขึ้น โฟกัสหลักคือสเตอริโอการคํานวณในปัจจุบัน

• RoboCup MSL refbox ฟรี

  RoboCup MSL Refbox ใช้สําหรับช่วยให้ผู้ตัดสินควบคุมเกมฟุตบอลหุ่นยนต์ (ใช้โดย RoboCup Midsize league)

• Dataflow processing parallelization-Cell ฟรี

  นี่คือไลบรารีสําหรับการประมวลผลข้อมูลโฟลว์แบบขนานบนตัวประมวลผลเซลล์