Musí mít Vývojářské nástroje Pro Linux

HOL Stručně z vyššího řádu Logic je programovací prostředí, ve kterém mohou být věty dokázat a odolné nástroje realizovány.Vestavěné rozhodovací postupy a věta provers může automaticky vytvořit mnoho jednoduchých vět. Mechanismus věštec umožňuje přístup k...

HOL-TestGen umožňuje psát zkušební specifikace ve vyšších řádů logik (HOL). Je možné (polo) automaticky rozdělit vstupní prostor, což má za následek abstraktních testovacích případů, a automaticky vybrat konkrétní údaje ze zkoušek.Automatické generování...

Hostery je nástroj příkazového řádku pro tlačení git snímků na webhostingu. & Nbsp; Hostery vytváří browsable historii na projekt odesláním vybrané git zavazuje k FTP serveru. Konfigurace repozitáře & Nbsp; hostery initTento příkaz na kořenové úrovni git...

Hotscripts.com klon vám umožní vytvořit si vlastní hotscripts.com jako místa, portál volných a komerčních skripty k dispozici na internetu. Tento skript je velmi snadné instalaci a realizovat. Můžete také snadno změnit vzhled stránek, chcete-li. To jen...

hubugs je velmi jednoduchý Python klient pro práci s sledování problémů GitHub je. Configuration Před použitím hubugs musí deklarovat nastavení ověřování, takže můžeme získat přístup k API.Nejprve je třeba definovat své GitHub uživatelské jméno:git config...

HyperDex je open source NoSQL řešení, ve stejné třídě s MongoDB, FlockB, Kasandra, REDIS a BigTable.HyperDex Vyvinutý Cornell University, je unikátní software, protože to přidává spoustu funkcí lze vyhledávat na klasické ukládání klíč-hodnota systémů ...

HyperSQL je jako Doxygen pro SQL, hypermapping SQL názory, postupy, obaly a funkce pro výpisy zdrojového kódu HTML a ukazuje všechna místa směrovací číslo, kde se tyto používají. & Nbsp; vnitřní ", pokud je použito" funkce také prověřuje C ++ a Java zdroj...

hypua2jamo je Python modul pro konverzi Hanyang-PUA kód (U + E0BC ~ U + F8F7) Unicode Hangul Jamo (U + 1100 ~ U + 11FF), tj slabika-Počáteční-Peak-Final kódování (첫가 끝 코드 ). Příklad & Nbsp; >>> od hypua2jamo dovozu přeložit& Nbsp; >>> pua = u '\ ub098...

i18n je balíček, který se snaží zjednodušit pracovní postup a vývoj internacionalizovaných aplikací. & Nbsp; Jedná se o tenký obal kolem stávajících nástrojů, zejména gettext a babel. Základní použití # Demo.py#od i18n.translator dovozu...

IA-32 Instrukce databáze je popis všech IA-32 instrukce ve formě zdroje SQL, s uvedením operandů, argumentů, prefixy, detaily kódování a popis.Tyto informace databáze původně přišel z projektu XI (http://verb.org.ua/xi/), který byl vytvořen na základě...