HOL qısa Ali Sifariş Məntiq olan teoremlər isbat və sübut tools həyata keçirilə bilər ki, bir proqramlaşdırma mühit.Daxili qərar prosedurlar və teoremi Provers avtomatik olaraq bir çox sadə teoremləri yarada bilər. Bir Oracle mexanizmi belə SAT və SKB...
HOL-TestGen (HOL) bir Ali sifariş məntiq test spesifikasiyası yazmaq imkan verir. Bu (yarım) avtomatik olaraq mücərrəd test hallarda nəticədə giriş yer bölüm, və avtomatik olaraq konkret test data seçə bilərsiniz.(SML-da) test dəsti Avtomatik nəsil dəstək...
Hostery bir web host git anlar basmaqla üçün bir skript satırı vasitədir & nbsp;. Hostery seçilmiş git yüklemek bir FTP server öhdəliyini bir layihə üçün gözatýlabilir tarixi yaradır. bir Havuz konfiqurasiya & Nbsp; hostery initBir git deposu kök...
Hotscripts.com klon site kimi öz hotscripts.com, xalis mövcud pulsuz və kommersiya scripts bir portal yaratmaq imkan verir. Bu script qurmaq və həyata keçirilməsi üçün çox asandır. Ayrıca asanlıqla istədiyiniz əgər site görünüşü dəyişə bilərsiniz. Bu,...
hubugs GitHub üzrə məsələ tracker ilə iş üçün bir çox sadə Python müştəri edir. Konfiqurasiya Biz API əldə edə bilərsiniz, belə ki, hubugs istifadə etməzdən əvvəl, sizin identifikasiyası parametrləri bəyan etməlidir.Siz ilk GitHub istifadəçi adı müəyyən...
HyperDex MongoDB, FlockB Cassandra, Redis və BigTable ilə eyni sinifdə açıq mənbə NoSQL həll edir.Bu klassik əsas dəyər mağaza sistemləri axtarış xüsusiyyətləri çox edir, çünki Cornell Universiteti tərəfindən hazırlanıb, HyperDex unikal proqramdır ...
HyperSQL HTML mənbə kodu siyahıları SQL views, prosedurlar, paketləri və funksiyaları hypermapping və bu istifadə olunan bütün code yerlərdə göstərən & nbsp, SQL üçün Doxygen kimi. "Istifadə etdiyi" daxili funksionallığı həmçinin C ++ və Java mənbə tarar...
hypua2jamo Hangul Camo (U + 1100 ~ U + 11FF), yəni Heca-İlkin-Peak-Final Kodlama (첫가 끝 코드 Unicode Hanyang-PUA kodu (U + E0BC ~ U + F8F7) çevirmək üçün Python modul deyil ). Məsələn & Nbsp; >>> hypua2jamo idxal tərcümə& Nbsp; >>> pua = u '\ ub098 \...
. i18n iş və beynəlxalq applications inkişafı & nbsp asanlaşdırmaq üçün çalışır olan bir paket, Bu xüsusi getText və babil ətrafında nazik banderol mövcud tools edir. Əsas istifadə # Demo.py#i18n.translator idxal Translatorsupported_languages =...
IA-32 Təlimatlar Database operands, arqumentlər, önek, encoding ətraflı və təsviri ifadə SQL mənbəyi şəklində bütün IA-32 təlimat, bir təsviri.Bu verilənlər bazası məlumat ilkin (təəssüf ki, köhnəlmiş) məlumat istifadə edərək istehsal edilmişdir XI...
