Måste ha Utvecklingsverktyg För Linux

HOL kort från Higher Order Logic är en programmeringsmiljö där teorem kan bevisas och korrekturverktyg implementeras.Inbyggda besluts och sats jäs kan automatiskt skapa många enkla satser. Ett orakel mekanism ger tillgång till externa program som SAT och...

HOL-TestGen gör att man kan skriva testspecifikationer i högre ordningens logik (HOL). Det kan (halv-) automatiskt partitionera ingångsutrymmet, vilket resulterar i abstrakta testfall, och väljer konkreta testdata automatiskt.Automatisk generering av test...

Hostery är ett kommandoradsverktyg för att trycka Git ögonblicksbilder till ett webbhotell. & Nbsp; Hostery skapar en bläddringsbar historia för ett projekt genom att ladda upp utvalda git begår till en FTP-server. Konfigurera en Repository & Nbsp;...

Hotscripts.com klon kan du skapa din egen hotscripts.com som plats, en portal av fria och kommersiella skript som finns på nätet. Detta skript är mycket lätt att installera och genomföra. Du kan också enkelt ändra utseendet på webbplatsen om du vill. Det...

hubugs är en mycket enkel Python-klient för att arbeta med GitHub s emission tracker. Konfiguration Innan du använder hubugs du måste deklarera dina autentiseringsinställningar, så att vi kan få tillgång till API.Du måste först definiera din GitHub...

HyperDex är ett open source NoSQL-lösning, i samma klass med MongoDB, FlockB, Cassandra, Redis och Bigtable.Utvecklad av Cornell University, är HyperDex en unik programvara eftersom det tillför massor av sökbara funktioner till klassiska nyckelvärde...

HyperSQL är som en doxygen för SQL, hypermapping SQL vyer, procedurer, paket och funktioner till HTML källkod listor och visar alla kod platser där dessa används. & Nbsp; Den inre "där används" funktionalitet skannar även C ++ och Java källa filer ...

hypua2jamo är en Python-modul för att konvertera Hanyang-PUA-kod (U + E0BC ~ U + F8F7) till Unicode Hangul Jamo (U + 1100 ~ U + 11FF), dvs Stavelse-Initial-Peak-Final Encoding (첫가 끝 코드 ). Exempel & Nbsp; >>> från hypua2jamo import översätta& Nbsp; >>> pua...

i18n är ett paket som försöker förenkla arbetsflödet och utveckling av internationalise tillämpningar. & Nbsp; Det är en tunn wrapper runt befintliga verktyg, särskilt gettext och babel. Grundläggande användning # Demo.py#från i18n.translator import...

IA-32 Instruktioner Database en beskrivning av alla IA-32 instruktioner i form av SQL källa, med angivande operander, argument, prefix, kodning detaljer och beskrivning.Denna databasinformation ursprungligen kom från XI (http://verb.org.ua/xi/) projekt,...