ต้องมี เครื่องมือสำหรับนักพัฒนา เพื่อ Linux

HOL สั้น ๆ จากที่สูงขึ้นการสั่งซื้อลอจิกเป็นสภาพแวดล้อมการเขียนโปรแกรมที่ทฤษฎีบทสามารถพิสูจน์หลักฐานและเครื่องมือในการดำเนินการในการสร้างขั้นตอนการตัดสินใจและ provers ทฤษฎีบทโดยอัตโนมัติสามารถสร้างทฤษฎีง่าย ๆ อีกมากมาย...

HOL-TestGen ช่วยให้หนึ่งในการเขียนรายละเอียดการทดสอบในตรรกะที่สูงขึ้นตามคำสั่ง (HOL) มันสามารถ (กึ่ง) โดยอัตโนมัติพาร์ทิชันพื้นที่การป้อนข้อมูลที่เกิดขึ้นในกรณีทดสอบนามธรรมโดยอัตโนมัติและเลือกข้อมูลการทดสอบคอนกรีตรุ่นอัตโนมัติของสายรัดทดสอบ (ใน SML)...

Hostery เป็นเครื่องมือบรรทัดคำสั่งสำหรับการผลักดันภาพรวมคอมไพล์ไปยังโฮสต์เว็บ & nbsp;. Hostery สร้างประวัติศาสตร์สามารถเรียกดูได้สำหรับโครงการโดยการอัปโหลดที่เลือกคอมไพล์กระทำไปยังเซิร์ฟเวอร์ FTP การตั้งค่าคอนฟิก Repository & nbsp; init...

Hotscripts.com โคลนช่วยให้คุณสร้าง hotscripts.com ของคุณเองเช่นเว็บไซต์พอร์ทัลของสคริปต์ฟรีและพาณิชย์มีอยู่ในสุทธิ สคริปต์นี้เป็นเรื่องง่ายมากที่จะติดตั้งและดำเนินการ คุณยังสามารถปรับเปลี่ยนได้อย่างง่ายดายรูปลักษณ์ของเว็บไซต์ที่ถ้าคุณต้องการ...

hubugs เป็นลูกค้าหลามที่ง่ายมากสำหรับการทำงานกับติดตามปัญหา GitHub ของ การตั้งค่า ก่อนที่จะใช้ hubugs คุณต้องประกาศการตั้งค่าการรับรองความถูกต้องของคุณเพื่อให้เราสามารถเข้าถึง APIก่อนอื่นคุณต้องกำหนดชื่อผู้ใช้ GitHub ของคุณ:git config ของ --global...

HyperDex เป็นแหล่งเปิดการแก้ปัญหา NoSQL ในระดับเดียวกับ MongoDB, FlockB คาสซานดรา, Redis และ BigTableที่พัฒนาโดยมหาวิทยาลัยคอร์เนล HyperDex เป็นซอฟต์แวร์ที่ไม่ซ้ำกันเพราะมันจะเพิ่มจำนวนมากของคุณสมบัติค้นหาคลาสสิกกับระบบการจัดเก็บค่าคีย์ คุณสมบัติ . <...

HyperSQL เป็นเหมือน Doxygen สำหรับ SQL, hypermapping มุมมอง SQL วิธีการแพคเกจและฟังก์ชั่นในรายการ HTML รหัสแหล่งที่มาและแสดงที่ตั้งรหัสทั้งหมดที่เหล่านี้จะใช้ & nbsp;. ภายใน "ที่ใช้" การทำงานนอกจากนี้ยังสแกน C ++ และแหล่งที่มา Java ไฟล์ คุณสมบัติ . ...

hypua2jamo เป็นโมดูลหลามการแปลงรหัส Hanyang-PUA (U + E0BC ~ U + F8F7) เป็น Unicode อังกูล Jamo (U + 1100 ~ U + 11FF) คือพยางค์แรกเริ่ม-ยอดสุดท้ายการเข้ารหัส (첫가끝코드 ) ตัวอย่าง & nbsp; >>> จากการนำเข้า hypua2jamo แปล& nbsp; >>> ปัว = U '\ ub098 \ ub78f...

i18n เป็นแพคเกจที่พยายามที่จะลดความซับซ้อนของกระบวนการทำงานและการพัฒนาโปรแกรมประยุกต์สากล & nbsp;. มันเป็นเสื้อคลุมบาง ๆ รอบเครื่องมือที่มีอยู่ใน gettext เฉพาะและบาเบล การใช้งานขั้นพื้นฐาน # demo.py#จากการนำเข้า i18n.translator นักแปลsupported_languages​​...

ฐานข้อมูลคำแนะนำ IA-32 เป็นคำอธิบายของทุกคำแนะนำ IA-32 ในรูปแบบของแหล่งที่มาของ SQL ระบุตัวถูกดำเนินการขัดแย้ง, คำนำหน้ารายละเอียดการเข้ารหัสและคำอธิบายฐานข้อมูลนี้ในขั้นต้นมาจากจิน (http://verb.org.ua/xi/) โครงการซึ่งถูกสร้างขึ้นโดยใช้ข้อมูลจาก...