Täytyy olla Kehitystyökalut Varten Linux

HOL lyhyt korkeammista Tilaa Logic on ohjelmointiympäristö, jossa lauseet voidaan todistaa ja todiste hyväksymiä välineitä.Sisäänrakennettu päätöksentekomenettelyjen ja lause provers voi automaattisesti luoda monia yksinkertaisia ​​lauseet. Oraakkeli...

HOL-TestGen mahdollistaa yhden kirjoittaa testauseritelmät korkeakouluopetuksen kertaluvun logiikan (HOL). Se voi (puoli-) osiot automaattisesti tulon tila, jolloin abstrakti testitapaukset, ja valitsee automaattisesti konkreettisia...

Hostery on komentorivi työkalu ajaa Git tilannekuvia web isäntä. & Nbsp; Hostery luo selattavissa historian projektin lataamalla valittu Git sitoutuu FTP-palvelimelle. Määritä Arkiston & Nbsp; hostery initTämän komennon juureen tasolla git arkistoon....

Hotscripts.com klooni avulla voit luoda oman hotscripts.com kuin sivusto, portaali vapaan ja kaupallisten skriptejä saatavilla verkossa. Tämä kirjoitus on erittäin helppo asentaa ja toteuttaa. Voit myös helposti muuttaa ulkonäköä sivuston, jos haluat. Se...

hubugs on hyvin yksinkertainen Python asiakkaan kanssa työskennellessä GitHub n vikaseurantaohjelmasta. Asetukset Ennen hubugs sinun pitää ilmoittaa käyttäjätunnus asetuksia, jotta voimme käyttää API.Sinun täytyy ensin määritellä GitHub käyttäjätunnus:git...

HyperDex on avoimen lähdekoodin NoSQL ratkaisu, samassa luokassa MongoDB, FlockB, Cassandra, Redis ja Isoon taulukkoon.Kehittämä Cornell University, HyperDex on ainutlaatuinen ohjelmisto, koska se lisää paljon haettavissa ominaisuuksia Classic avain-arvo...

HyperSQL on kuin Doxygen SQL, hypermapping SQL näkemykset, menettelyjä, pakkaukset ja toimintoja HTML-lähdekoodiin luettelot ja näyttää kaikki koodi, missä niitä käytetään. & Nbsp; sisäinen ", jossa käytetään" toiminnallisuutta myös skannaa C ++ ja Java...

hypua2jamo on Python-moduuli muuntaa Hanyang-PUA koodi (U + E0BC ~ U + F8F7) Unicode Hangul Jamo (U + 1100 ~ U + 11FF) eli Syllable-Initial-Peak-Final Encoding (첫가 끝 코드 ). Esimerkki & Nbsp; >>> päässä hypua2jamo tuonti kääntää& Nbsp; >>> pua = u \ ub098 \...

i18n on paketti, joka yrittää yksinkertaistaa työnkulkua ja kehittäminen kansainvälistynyt sovelluksia. & Nbsp; Se on ohut kääre ympärillä olevia välineitä, erityisesti gettext ja Babel. peruskäyttö # Demo.py#alkaen i18n.translator tuonti...

IA-32 Ohjeet Database on kuvaus kaikista IA-32 ohjeiden muodossa SQL lähde, täsmennetään operandit, argumentteja, etuliitteet, koodaus yksityiskohtia, ja kuvaus.Tämä tietokannan tiedot alunperin tuli XI (http://verb.org.ua/xi/) hanke, joka muodostui...