Skal have Udviklingsværktøjer Til Linux

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...

HOL-TestGen tillader en at skrive testspecifikationer i højere orden logikker (HOL). Det kan (halv-) automatisk opdele input plads, hvilket resulterer i abstrakte testcases og vælge konkrete testdata automatisk.Automatisk generering af test seletøj (i...

Hostery er en kommando-linje værktøj til at skubbe git snapshots til en web vært. & Nbsp; Hostery skaber en browsable historie til et projekt ved at uploade udvalgte git forpligter sig til en FTP-server. Konfigurer et Repository & Nbsp; hostery initDenne...

Hotscripts.com klon tillader dig at oprette din egen hotscripts.com lignende site, en portal for gratis og kommercielle scripts til rådighed på nettet. Dette script er meget nemt at installere og implementere. Du kan også nemt ændre udseende af...

hubugs er en meget enkel Python klient til at arbejde med GitHub udstedelse tracker. Konfiguration Før du bruger hubugs skal du erklære dine indstillinger for godkendelse, så vi kan få adgang til API.Du skal først definere dit GitHub brugernavn:git config...

HyperDex er en open source NoSQL løsning, i samme klasse med MongoDB, FlockB, Cassandra, Redis og BigTable.Udviklet af Cornell University, HyperDex er en unik software, fordi det tilføjer masser af søgbare funktioner til klassiske nøgle-værdi Lagerteknik ...

HyperSQL er som en doxygen til SQL, hypermapping SQL visninger, procedurer, pakker og funktioner til HTML-kildekoden programoversigter og viser alle kode steder, hvor disse anvendes. & Nbsp; Det interne ", hvor der anvendes" funktionalitet scanner også C...

hypua2jamo er en Python-modul til at konvertere Hanyang-PUA kode (U + E0BC ~ U + F8F7) til Unicode Hangul Jamo (U + 1100 ~ U + 11FF), dvs. Syllable-Initial-Peak-Final Encoding (첫가 끝 코드 ). Eksempel & Nbsp; >>> fra hypua2jamo import oversætte& Nbsp; >>> pua...

i18n er en pakke, der forsøger at forenkle arbejdsgangen og udvikling af internationaliserede applikationer. & Nbsp; Det er en tynd wrapper omkring eksisterende værktøjer, især gettext og babel. Grundlæggende brug # Demo.py#fra i18n.translator import...

IA-32 Instruktioner Database er en beskrivelse af alle IA-32 instruktioner i form af SQL-kilde angivelse operander, argumenter, præfikser, kodning detaljer og beskrivelse.Denne information database oprindeligt kom fra XI (http://verb.org.ua/xi/) projekt,...