HOL кратко от по-висш порядък Logic е програмна среда, в която теореми може да бъде доказано и инструменти се отварят изпълнени.Вградени процедури решения и теорема доказващите може автоматично да създават много прости теореми. Механизъм Наложеното дава...
HOL-TestGen позволява да напишете спецификации за изпитване в по-висок порядък логики (HOL). Тя може (полу) автоматично разделяне на входното пространство, което води до абстрактни тестовете, и автоматично да избира конкретни данни от...
Hostery е инструмент на командния ред за бутане Git снимки на уеб-домакин & Nbsp;. Hostery създава я разгледа историята за един проект, като качите избрания Git да поеме ангажимент за FTP сървъра. Конфигуриране на Repository & Nbsp; hostery...
Hotscripts.com клонинг ви позволява да създадете свой собствен hotscripts.com като сайт, портал за безплатни и комерсиални скриптове на разположение в мрежата. Този скрипт е много лесен за инсталиране и прилагане. Можете също така лесно променя външния...
hubugs е много проста Python клиент за работа с въпрос тракер GitHub си. Configuration Преди да използвате hubugs трябва да декларират настройките си за проверка на автентичността, така че ние може да получите достъп до API.Най-напред трябва да се...
HyperDex е с отворен код разтвор NoSQL, в един и същи клас с MongoDB, FlockB, Касандра, Redis и Bigtable.Разработен от Университета Корнел, HyperDex е уникален софтуер, защото тя добавя много функции за търсене в класически системи ключ-стойност магазин ...
HyperSQL е като Doxygen за SQL, hypermapping SQL гледки, процедури, опаковки и функции на HTML изходен код обяви и показва всички места код, където те се използват & Nbsp;. The вътрешен ", където се използва" функционалност също сканира C ++ и Java...
hypua2jamo е Python модул за конвертиране Hanyang-PUA код (U + E0BC ~ U + F8F7) да Unicode Хангъл Jamo (U + 1100 ~ U + 11FF), т.е. сричка-Initial-Peak-Final Encoding (첫가 끝 코드 ). Пример & Nbsp; >>> от hypua2jamo внос превежда& Nbsp; >>> PUA = U '\...
i18n е пакет, който се опитва да опрости работата и развитието на интернационализирани приложения & Nbsp;. Тя е тънка обвивка около съществуващите инструменти, по-специално gettext и Бабел. Basic употребата # Demo.py#от i18n.translator внос...
IA-32 Инструкции Database е описание на всички IA-32 инструкции под формата на SQL източник, определящи операнди, аргументи, представки, подробности за кодиране и описание.Тази информационна база данни първоначално дойде от проект XI...
