Phải có Công cụ phát triển Cho Linux

HOL ngắn từ hơn sinh Logic là một môi trường lập trình trong đó các định lý có thể được chứng minh và các công cụ bằng chứng thực hiện.Thủ tục ra quyết định xây dựng trong và provers lý có thể tự động thiết lập nhiều định lý đơn giản. Một cơ chế oracle...

HOL-TestGen cho phép một để viết chi tiết kỹ thuật thử nghiệm trong logic bậc cao (HOL). Nó có thể (bán) tự động phân vùng không gian đầu vào, kết quả trong trường hợp thử nghiệm trừu tượng, và tự động chọn dữ liệu kiểm tra bê tông.Tự động thế hệ của...

Hostery là một công cụ dòng lệnh để đẩy snapshots git đến một máy chủ web & nbsp;. Hostery tạo ra một lịch sử có thể xem cho một dự án bằng cách tải lên git chọn cam kết đến một máy chủ FTP. Cấu hình một Repository & Nbsp; hostery initBan hành lệnh này ở...

Hotscripts.com bản sao cho phép bạn tạo ra hotscripts.com riêng của bạn như trang web, một cổng thông tin của các kịch bản miễn phí và thương mại có sẵn trên mạng. Kịch bản này là rất dễ dàng để cài đặt và thực hiện. Bạn cũng có thể dễ dàng thay đổi ngoại...

hubugs là một khách hàng Python rất đơn giản để làm việc với tracker vấn đề của GitHub. Cấu hình Trước khi sử dụng hubugs bạn phải khai báo các thiết lập xác thực của bạn, để chúng ta có thể truy cập vào các API.Trước tiên, bạn cần phải xác định tên người...

HyperDex là một mã nguồn mở giải pháp NoSQL, trong cùng một lớp với MongoDB, FlockB, Cassandra, Redis và BigTable.Phát triển bởi trường Đại học Cornell, HyperDex là một phần mềm duy nhất bởi vì nó cho biết thêm rất nhiều tính năng tìm kiếm để hệ thống cửa...

HyperSQL giống như một doxygen cho SQL, hypermapping views SQL, thủ tục, các gói và các chức năng để HTML danh sách mã nguồn và hiển thị tất cả các địa điểm mã, nơi chúng được sử dụng & nbsp;. Các nội ", nơi được sử dụng" chức năng cũng quét C ++ và mã...

hypua2jamo là một mô-đun Python để chuyển đổi mã Hanyang-Pua (U + E0BC ~ U + F8F7) sang Unicode Hangul Jamo (U + 1100 ~ U + 11FF), tức là Âm-ban-Peak-Final Encoding (첫가 끝 코드 ). Ví dụ & Nbsp; >>> từ nhập khẩu hypua2jamo dịch& Nbsp; >>> Pua = u '\ ub098...

i18n là một gói phần mềm mà cố gắng để đơn giản hóa quy trình làm việc và phát triển của các ứng dụng quốc tế & nbsp;. Nó là một wrapper mỏng xung quanh các công cụ hiện có, trong gettext và babel cụ thể. sử dụng cơ bản # Demo.py#từ i18n.translator nhập...

IA-32 Hướng dẫn Cơ sở dữ liệu là một mô tả của tất cả IA-32 hướng dẫn ở dạng nguồn SQL, xác định toán hạng, tranh luận, các tiền tố, chi tiết mã hóa, và mô tả.Thông tin cơ sở dữ liệu này ban đầu đến từ XI (http://verb.org.ua/xi/) dự án, được tạo ra bằng...