Moet hebben Ontwikkeltools Voor Linux

HOL korte van hogere orde Logic is een programmeeromgeving waarin stellingen kan worden bewezen en het bewijs instrumenten geïmplementeerd.Built-in besluitvormingsprocedures en bewijshulpmiddelen kan automatisch veel eenvoudige stellingen vast te stellen....

HOL-TestGen maakt het mogelijk om testspecificaties in hogere-orde logica schrijven (HOL). Het kan (semi-) automatisch te partitioneren de input ruimte, wat resulteert in abstracte testcases, en beton testgegevens selecteert automatisch.Automatisch...

Hostery is een command-line tool voor het duwen van git snapshots naar een webhost & nbsp;. Hostery creëert een bladerbare geschiedenis voor een project door het uploaden van geselecteerde git verbindt tot een FTP-server. Stel een Repository & Nbsp;...

Hotscripts.com kloon kunt u uw eigen hotscripts.com als site, een portaal van gratis en commerciële scripts beschikbaar op het net maken. Dit script is zeer eenvoudig te installeren en te implementeren. U kunt het uiterlijk van de site ook eenvoudig aan...

hubugs is een zeer eenvoudige Python-client voor het werken met GitHub's issue tracker. Configuratie Voor het gebruik van hubugs moet u uw verificatie-instellingen te verklaren, zodat we kunnen toegang krijgen tot de API.U moet eerst uw GitHub...

HyperDex is een open source NoSQL oplossing, in dezelfde klasse met MongoDB, FlockB, Cassandra, Herverdeeld en BigTable.Ontwikkeld door de Cornell University, HyperDex is een unieke software want het voegt veel doorzoekbaar functies om klassieke...

HyperSQL is als een doxygen voor SQL, hypermapping SQL views, procedures, pakketten en functies om HTML broncode lijsten en het tonen van alle code locaties waar deze worden gebruikt & nbsp;. De interne ", waar gebruikt" functionaliteit scant ook C ++ en...

hypua2jamo is een Python module om Hanyang-PUA-code (U + E0BC ~ U + F8F7) te converteren naar Unicode Hangul Jamo (U + 1100 ~ U + 11FF), dwz Syllable-Initial-Peak-finale Encoding (첫가 끝 코드 ). Voorbeeld & Nbsp; >>> van hypua2jamo import vertalen& Nbsp; >>>...

i18n is een pakket dat probeert de workflow en de ontwikkeling van geïnternationaliseerde toepassingen & nbsp vereenvoudigen;. Het is een dunne wrapper rond bestaande instrumenten, in het bijzonder gettext en babel. Basic gebruik # Demo.py#van...

IA-32 Instructies Database is een beschrijving van alle IA-32-instructies in de vorm van SQL-bron, met vermelding van operanden, argumenten, voorvoegsels, encoding gegevens, en beschrijving.Deze database informatie in eerste instantie kwam van XI...