HOL scurt de ordin superior Logic este un mediu de programare în care teoreme pot fi dovedite și instrumente dovada puse în aplicare.Procedurile de decizie Built-in și provers teorema poate stabili în mod automat mai multe teoreme simple. Un mecanism...
HOL-TestGen permite să scrie specificațiile de testare în logica de ordin superior (HOL). Se poate (semi-) se împarte în mod automat spațiul de intrare, care rezultă în cazuri abstracte de testare, iar selecta automat datele de testare concrete.Generarea...
Hostery este un instrument de linie de comandă pentru împingerea instantanee git la o gazdă web. & Nbsp; Hostery creează o istorie răsfoită pentru un proiect de încărcarea git selectată se angajează pe un server FTP. Configurarea unui registru central &...
Hotscripts.com clona vă permite să creați propriul dvs. site-ul hotscripts.com ca, un portal de script-uri gratuite și comerciale disponibile pe net. Acest script este foarte ușor de instalat și de a pune în aplicare. De asemenea, puteți modifica cu...
hubugs este un client Python foarte simplu pentru lucrul cu GitHub lui problemă tracker. Configurare Înainte de a utiliza hubugs trebuie să declare setările de autentificare, astfel încât să putem accesa API.Trebuie, mai întâi să definiți numele dvs. de...
HyperDex este un open source soluție NoSQL, în aceeași clasă cu MongoDB, FlockB, Cassandra, Redis și Bigtable.Dezvoltat de la Universitatea Cornell, HyperDex este un software unic, deoarece adaugă o mulțime de caracteristici de căutare ale sistemelor...
HyperSQL este ca un Doxygen pentru SQL, hypermapping vizualizări SQL, proceduri, pachete și funcții pentru a HTML listări de cod sursă și care prezintă toate locațiile de cod în cazul în care sunt utilizate acestea. & Nbsp; intern "unde folosit"...
hypua2jamo este un modul Python pentru a converti codul Hanyang-PUA (U + E0BC ~ U + F8F7) pentru Unicode Hangul Jamo (U + 1100 ~ U + 11FF), adică silabelor-inițială-Peak-finală codare (첫가 끝 코드 ). Exemplul & Nbsp; >>> din hypua2jamo import traduce& Nbsp;...
i18n este un pachet care încearcă să simplifice fluxul de lucru și dezvoltarea de aplicații internaționalizate. & Nbsp; este un înveliș subțire în jurul instrumentelor existente, în special gettext și Babel.Utilizarea Basic # Demo.py#de la...
IA-32 Instrucțiuni Baza de date este o descriere a tuturor IA-32 instrucțiuni în formă de sursă SQL, cu specificarea operanzi, argumente, prefixe, detalii de codare, și descrierea.Aceste informații bază de date inițial a venit de la proiect XI...
