HOL kısa Yüksek Sipariş Logic teoremler ispat ve ispat araçları uygulanabilir hangi bir programlama ortamıdır.Dahili karar prosedürleri ve teorem prover otomatik olarak birçok basit teoremleri kurabilir. Bir kehanet mekanizması gibi SAT ve BDD motorları...
HOL-TestGen (HOL) bir Yüksek mertebeden mantığı ile test teknik yazmanızı sağlar. Bu (yarı) otomatik olarak soyut test durumlarda sonuçlanan, giriş alanı bölümlemek ve otomatik beton test verileri seçebilirsiniz.(SML içinde) testi koşum otomatik nesil...
Hostery bir web barındırma için git anlık itmek için bir komut satırı aracıdır. & Nbsp; Hostery seçilen budala yüklenirken bir FTP sunucusuna taahhüt tarafından bir proje için bir göz atılabilir geçmişi oluşturur. Deposu yapılandırma & Nbsp; hostery...
Hotscripts.com klon site gibi kendi hotscripts.com, Net üzerinden ücretsiz ve ticari komut bir portal oluşturmak için olanak sağlar. Bu script yüklemek ve uygulamak çok kolaydır. Ayrıca kolayca isterseniz sitenin görünüyor değiştirebilirsiniz. Sadece tek...
hubugs GitHub meselesi izci ile çalışmak için çok basit bir Python istemcisi. Yapılandırma Biz API erişebilirsiniz böylece hubugs kullanmadan önce, sizin kimlik doğrulama ayarlarını bildirmeniz gerekir.Öncelikle GitHub kullanıcı adını tanımlamak...
HyperDex MongoDB, FlockB, Cassandra, REDIS ve BigTable ile aynı sınıfta bir açık kaynak NoSQL çözümdür.Klasik anahtar-değer deposu sistemlerine aranabilir birçok özellik ekler nedeniyle Cornell Üniversitesi tarafından geliştirilen, HyperDex eşsiz bir...
HyperSQL HTML kaynak kod listelerini SQL görünümler, prosedürler, paketler ve fonksiyonları hypermapping ve bunlar kullanılan tüm kod yerleri gösteren & nbsp, SQL için bir doxygen gibidir;. "Kullanılmış burada" iç işleve C ++ ve Java kaynak tarar...
hypua2jamo Hangul JAMO (U + 1100 ~ U + 11FF), yani Hece-Başlangıç-Tepe-Final kodlama (첫가 끝 코드 unicode için Hanyang-PUA kodu (U + E0BC ~ U + F8F7) dönüştürmek için bir Python modülü ). Örnek & Nbsp; >>> hypua2jamo ithalat çevirmek& Nbsp; >>> pua = u '\...
. i18n iş akışı ve uluslararası uygulamaların geliştirilmesi & nbsp basitleştirmek için çalışan bir pakettir; Özellikle gettext ve babel etrafında ince bir sarıcı mevcut araçları vardır. Temel kullanım # Demo.py#i18n.translator ithalat...
IA-32 Talimatlar Veritabanı işlenen, argümanlar, önek, kodlama detayları ve açıklamasını belirterek SQL kaynağı şeklinde tüm IA-32 talimatlar, bir açıklamasıdır.Bu veritabanı bilgisi başlangıçta (maalesef eskimiş) gelen bilgileri kullanarak oluşturulan XI...
