Moet Ontwikkelaar gereedskap Vir Linux

HOL kort van Hoër Orde Logika is 'n programmeertaal omgewing waarin stellings bewys kan word en bewys gereedskap geïmplementeer.Ingeboude besluit prosedures en stelling provers kan outomaties vestig baie eenvoudige stellings. 'N binneste vertrek...

HOL-TestGen laat een toets spesifikasies in Hoër-orde logika te skryf (HOL). Dit kan (semi-) outomaties verdeel die insette ruimte, wat in abstrakte toets gevalle en beton toets data outomaties kies.Outomatiese generasie van toets bome (in SML) word...

Hostery is 'n opdrag-lyn instrument vir stoot git foto na 'n web host. & Nbsp; Hostery skep 'n soekbare geskiedenis vir 'n projek deur die oplaai gekies git verbind om 'n FTP-bediener. Stel 'n Repository & Nbsp; hostery initReik...

Hotscripts.com kloon kan jy jou eie hotscripts.com soos webwerf, 'n portaal van vrye en kommersiële skrifte beskikbaar op die netto skep. Dit script is baie maklik om te installeer en te implementeer. Jy kan die voorkoms van die webwerf ook maklik...

hubugs is 'n baie eenvoudige Python kliënt vir die werk met GitHub se issue tracker. Konfigurasie Voor die gebruik van hubugs jy jou verifikasie instellings moet verklaar, sodat ons kan die API toegang.Moet jy eers jou GitHub gebruiker naam te...

HyperDex is 'n oop bron NoSQL oplossing, in dieselfde klas met MongoDB, FlockB, Cassandra, Redis en bigtable.Ontwikkel deur die Cornell Universiteit, HyperDex is 'n unieke sagteware omdat dit voeg baie gesoek funksies klassieke sleutel-waarde...

HyperSQL is soos 'n doxygen vir SQL, hypermapping SQL uitsig, prosedures, pakkette en funksies om HTML bron-kode volledige lys en wys al-kode plekke waar dit gebruik word. & Nbsp; Die interne "waar gebruik" funksie ook skanderings C ++ en Java bron...

hypua2jamo is 'n Python module Hanyang-PUA kode (U + E0BC ~ U + F8F7) te omskep Hangul jamo (U + 1100 ~ U + 11FF), dws Lettergreep-Aanvanklike-Peak-Finale Encoding (첫가 끝 코드 te Unicode ). Voorbeeld & Nbsp; >>> van hypua2jamo invoer vertaal& Nbsp; >>>...

i18n is 'n pakket wat probeer om die workflow en ontwikkeling van die internasionale gemeenskap aansoeke & nbsp te vereenvoudig;. Dit is 'n dun wrapper rondom bestaande gereedskap, in die besonder gettext en babel. Basiese gebruik # Demo.py#van...

IA-32 instruksies Database is 'n beskrywing van alle IA-32 instruksies in die vorm van SQL bron spesifiseer operande, argumente, voorvoegsels, enkodering besonderhede en beskrywing.Hierdie databasis inligting aanvanklik gekom van XI...