Må ha Utviklerverktøy For Linux

HOL kort fra Higher Bestill Logic er et programmeringsmiljø der teoremer kan bevises og fritt verktøy implementert.Innebygde beslutningsprosedyrer og teorem provers kan automatisk opprette mange enkle teoremer. Et orakel mekanisme gir tilgang til eksterne...

HOL-TestGen gjør det mulig å skrive testspesifikasjoner i høyere-ordens logikk (HOL). Det kan (semi-) automatisk partisjonere inngangs plass, noe som resulterer i abstrakte testtilfeller, og velg konkrete testdata automatisk.Automatisk generering av test...

Hostery er et kommandolinjeverktøy for å skyve git øyeblikksbilder til en web vert. & Nbsp; Hostery skaper en søkbar historie for et prosjekt ved å laste opp valgt git forplikter seg til en FTP-server. Konfigurer en Repository & Nbsp; Hostery initGi denne...

Hotscripts.com klone lar deg lage din egen hotscripts.com lignende nettsted, en portal av gratis og kommersielle skript tilgjengelig på nettet. Dette skriptet er svært enkel å installere og implementere. Du kan også enkelt endre utseende på siden hvis du...

hubugs er en veldig enkel Python klient for å arbeide med GitHub utgave tracker. Konfigurasjon Før du bruker hubugs må du erklære dine godkjenningsinnstillinger, slik at vi kan få tilgang til API.Du må først definere din GitHub brukernavn:git config...

HyperDex er en åpen kildekode NoSQL løsning, i samme klasse med MongoDB, FlockB, Cassandra, Redis og BigTable.Utviklet av Cornell University, er HyperDex en unik programvare fordi det legger mange søkbare funksjoner til klassiske nøkkel-verdi...

HyperSQL er som en Doxygen for SQL, hypermapping SQL visninger, prosedyrer, pakker og funksjoner til HTML kildekode oppføringer og viser alle kode steder der disse brukes. & Nbsp; Den interne "hvor brukt" funksjonalitet skanner også C ++ og Java kilde...

hypua2jamo er et Python-modul for å konvertere Hanyang-PUA kode (U + E0BC ~ U + F8F7) til Unicode Hangul Jamo (U + 1100 ~ U + 11FF), dvs. stavelse-Initial-Peak-finalen Encoding (첫가 끝 코드 ). Eksempel & Nbsp; >>> fra hypua2jamo import sette& Nbsp; >>> pua =...

i18n er en pakke som prøver å forenkle arbeidsflyten og utvikling av internasjonaliserte programmer. & Nbsp; Det er en tynn wrapper rundt eksisterende verktøy, spesielt gettext og babel. Grunnleggende bruk # Demo.py#fra i18n.translator import...

IA-32 Instruksjoner Database er en beskrivelse av alle IA-32 instruksjoner i form av SQL kilde, med angivelse operander, argumenter, prefikser, koding detaljer, og beskrivelse.Denne databasen informasjon opprinnelig kom fra XI (http://verb.org.ua/xi/)...