HOL суть від вищих порядків логіки середовище програмування, в якій теореми можуть бути доведені і доказ інструменти реалізації.Вбудовані процедури ухвалення та доведення теорем може автоматично встановити багато простих теорем. Механізм Oracle надає...
HOL-TestGen дозволяє записати специфікації тестів в області вищого порядку логіки (HOL). Це може (підлозі) автоматичне розбиття вхідного простору, в результаті чого абстрактних тестів, і автоматично вибрати конкретні дані випробувань.Автоматична генерація...
Hostery є інструментом командного рядка для штовхання Git знімки з веб-хостингу і NBSP ;. Hostery створює проглядається історію для проекту, завантаживши обраний Git здійснює на FTP-сервер. Налаштування сховища І NBSP; hostery ініціалізаціїВипуск цієї...
Hotscripts.com клон дозволяє створити свій власний hotscripts.com як сайт, портал безкоштовних, так і комерційних скриптів, доступних в мережі. Цей сценарій дуже простий в установці і реалізації. Ви також можете легко змінити зовнішній вигляд сайту, якщо...
hubugs є дуже простий клієнт Python для роботи з системою відстеження проблем GitHub-х років. Конфігурація Перед використанням hubugs ви повинні оголосити налаштування аутентифікації, так що ми можемо отримати доступ до API.Спочатку потрібно визначити...
HyperDex є відкритим вихідним кодом рішення NoSQL, в одному класі з MongoDB, FlockB, Кассандра, Redis і BigTable.Розроблено Корнельського університету, HyperDex є унікальне програмне забезпечення, тому що це додає багато для пошуку можливостей в класичних...
HyperSQL подібно Doxygen для SQL, hypermapping SQL уявлень, процедур, пакетів і функції HTML вихідний код списки і показуючи всі місця коду, де вони використовуються і NBSP ;. Внутрішній ", де використовується" функції також сканує C ++ і Java джерело...
hypua2jamo є модуль Python для перетворення Hanyang-PUA коду (U + E0BC ~ U + F8F7) в юнікод хангиль Jamo (U + 1100 ~ U + 11FF), тобто складу Початковий пікової Остаточна кодування (첫가 끝 코드 ). Приклад І NBSP; >>> від імпорту hypua2jamo перевестиІ NBSP; >>>...
i18n є пакет, який намагається спростити робочий процес і розвиток інтернаціональних додатків & NBSP ;. Це тонка оболонка навколо існуючих інструментів, зокрема, gettext, і Бабеля. Основи використання # Demo.py#від i18n.translator імпорту...
IA-32 Інструкція База даних опис всіх IA-32 інструкцій у вигляді джерела SQL, що визначають операнди, аргументи префікси, деталі кодування і опису.Ця інформація бази даних спочатку прийшли з проекту XI (http://verb.org.ua/xi/), який був створений за...
