HOL Kurz von Logik höherer Ordnung ist eine Programmierumgebung, in der Theoreme bewiesen werden kann und Sichere Werkzeuge implementiert.Integrierte Entscheidungsverfahren und Theorembeweisern automatisch etablieren viele einfache Sätze. Ein...
HOL-TestGen erlaubt es, Testspezifikationen in höherer Ordnung Logik schreiben (HOL). Es kann (halb-) automatisch den Eingangsraum zu unterteilen, was zu abstrakten Testfälle und konkrete Testdaten automatisch zu wählen.Automatische Generierung von...
Hostery ist ein Kommandozeilen-Tool zum Schieben GIT-Snapshots zu einem Web-Host. & Nbsp; Hostery erstellt eine durchsuchbare Geschichte für ein Projekt, durch das Hochladen ausgewählt git verpflichtet sich, einen FTP-Server. Konfigurieren eines...
Hotscripts.com Klon ermöglicht es Ihnen, Ihre eigenen hotscripts.com wie Standort, ein Portal von freien und kommerziellen Skripte im Netz erstellen. Dieses Skript ist sehr einfach zu installieren und zu implementieren. Sie können auch einfach das...
hubugs ist ein sehr einfaches Python-Client für die Arbeit mit GitHub ist issue tracker. Konfiguration Bevor Sie hubugs müssen Sie Authentifizierungseinstellungen zu erklären, so dass wir die API zugreifen.Zuerst müssen Sie Ihre GitHub Benutzernamen...
HyperDex ist ein Open Source NoSQL-Lösung, in der gleichen Klasse mit MongoDB, FlockB, Cassandra, Redis und BigTable.Entwickelt von der Cornell University, ist HyperDex eine einzigartige Software, weil es fügt viele Funktionen, um durchsuchbare...
HyperSQL ist wie ein doxygen für SQL, hypermapping SQL Views, Prozeduren, Pakete und Funktionen auf HTML-Quellcode einsehen und mit allen Code Orte, an denen diese verwendet werden. & Nbsp; Der interne ", wo verwendet" Funktionalität scannt auch C ++ und...
hypua2jamo ist ein Python-Modul zu Hanyang-PUA-Code (U + E0BC ~ U + F8F7) konvertieren Hangul Jamo (U + 1100 U + 11FF ~), dh Syllable-Initial-Spitze-Abschluss Encoding (첫가 끝 코드 unicode ). Beispiel & Nbsp; >>> von hypua2jamo Import übersetzen& Nbsp; >>>...
i18n ist ein Paket, um den Arbeitsablauf und die Entwicklung von internationalisierten Anwendungen & nbsp vereinfachen versucht;. Es ist eine dünne Hülle um bestehende Instrumente, insbesondere gettext und babel. Die grundsätzliche Verwendung #...
IA-32 Anleitung Database ist eine Beschreibung aller IA-32-Anweisungen in Form von SQL-Source-Angabe Operanden, Argumente, Präfixe Codierung Details und Beschreibung.Diese Datenbank Informationen zunächst kamen aus (http://verb.org.ua/xi/) Projekt XI, die...
