Kell Fejlesztői eszközök Mert Linux

HOL rövid magasabb rendű Logic egy programozási környezet, amelyben tételek bizonyítja és bizonyítási eszközök végrehajtani.Beépített döntéshozatali eljárással és a tétel Provers automatikusan létrehozza sok egyszerű tételek. Az Oracle mechanizmust...

HOL-TestGen lehetővé teszi, hogy írjon vizsgálati előírások keretében magasabb fokú logikák (HOL). Ez a (félig) automatikusan felosztani a bemeneti teret, ami absztrakt vizsgálati esetek, és automatikusan kiválasztja a konkrét vizsgálati...

Hostery egy parancssori eszköz toló git pillanatképek a web host. & Nbsp; Hostery teremt böngészhető történelem egy projekt feltöltésével kiválasztott git kötelezi magát, hogy egy FTP szerverre. Állítsa a Raktárban & Nbsp; hostery initKiadja ezt a...

Hotscripts.com klón lehetővé teszi, hogy saját hotscripts.com mint helyszín, a portál ingyenes és kereskedelmi szkriptek elérhető a neten. Ez a szkript telepítése nagyon egyszerű, és hajtsák végre. Könnyedén módosíthatja az úgy néz ki a helyén, ha...

hubugs egy nagyon egyszerű Python ügyfél számára dolgozik GitHub számunkban tracker. Configuration Használat előtt hubugs akkor nyilatkoznia kell a hitelesítési beállításokat, így tudjuk elérni a API.Akkor először meg kell határozni a GitHub felhasználói...

HyperDex egy nyílt forráskódú NoSQL megoldást, ugyanabban az osztályban MongoDB, FlockB, Cassandra, Redis és BigTable.Által kifejlesztett Cornell University, HyperDex egy egyedülálló szoftver, mert hozzáteszi sok kereshető jellemzők a klasszikus...

HyperSQL olyan, mint egy doxygen SQL, hypermapping SQL nézetek, eljárások, csomagok és a funkciókat a HTML forráskód listák, és bemutatja az összes kódot helyeken, ahol ezeket alkalmazzák. & Nbsp; A belső ", ahol használt" funkciót is ellenőrzi C ++ és...

hypua2jamo egy Python modul átalakítani Hanyang-PUA-kód (U + E0BC ~ U + F8F7) Unicode hangul Jamo (U + 1100 ~ U + 11FF), azaz Syllable-Initial-Peak-Final kódolás (첫가 끝 코드 ). példa & Nbsp; >>> from hypua2jamo import lefordítani& Nbsp; >>> PUA = u '\...

i18n egy olyan csomag, amely megpróbálja egyszerűsíteni a munkafolyamatot és fejlesztés nemzetközivé alkalmazások. & Nbsp; Ez egy vékony közrefogja a meglévő eszközöket, különösen a gettext és Bábel. alapszintű kezelése # Demo.py#a i18n.translator import...

IA-32 utasítás adatbázis egy leírást minden IA-32 utasításokat formájában SQL forrás, meghatározva osztunk, érvek, eleji, kódolás részleteit, és leírását.Ez az adatbázis információkat eredetileg származott XI (http://verb.org.ua/xi/) projekt, amelyben...