持つ必要があります 開発者用ツール のために Linux
このHOL短い高階論理の定理を証明し、証明ツールを実装することができるプログラミング環境である。内蔵の決定手順や定理証明は、自動的に多くの単純な定理を確立することができます。オラクルのメカニズムは、SATとBDDエンジンなどの外部プログラムへのアクセスを提供します。HOL 4は控除、実行とプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適している。 のこのリリースではの新機能：ます。 HolSmtLibは今も固定幅単語やSMT-LIB...
HOL-TestGenは（HOL）1は、高次ロジックのテスト仕様書を書くことができます。これは、（半）自動的に抽象テストケースで、その結果、入力空間を分割し、自動的に具体的なテストデータを選択することができる。（SML）のテストハーネスの自動生成がサポートされており、外国語のインタフェースを使用して、任意の言語（例えばC）での実装を試験することができる。HOL-OCLはフリーソフトウェアです。あなたはそれを再配布および/またはGPLの条件で修正することができます。...
HosteryはWebホストにgitのスナップショットをプッシュするためのコマンドラインツールです＆NBSP; Hosteryは、選択されたGitはFTPサーバーにコミットするアップロードすることで、プロジェクトのブラウズ可能な履歴が作成されます。のリポジトリを設定する＆NBSP; hostery...
Hotscripts.comクローンは、サイトのようなあなた自身のhotscripts.com、ネット上で利用可能な空きと商業スクリプトのポータルを作成することができます。 このスクリプトは、インストールして実行するのは非常に簡単です。また、簡単にあなたがしたい場合は、サイトの外観を変更することができます。それだけで簡単に変更するための単一のテンプレートファイルと1つのCSSファイルを使用します。 スクリプトやソフトウェアポータルサイトの立ち上げとして、私はより多くの、または10,000未満のエントリ含まれ...
hubugs GitHubのの課題追跡を操作するための非常に簡単なPythonクライアントです。のコンフィグレーションの我々は、APIにアクセスできるようにhubugsを使用する前に、あなたは、あなたの認証設定を宣言する必要があります。最初に、GitHubのユーザー名を定義する必要があります。Gitの設定--global...
HyperDexはMongoDBは、FlockB、カサンドラ、RedisのとBigTableのと同じクラスで、オープンソースのNoSQLソリューションです。コーネル大学が開発した、それは古典的なキーと値の店舗システムに検索可能な機能の多くが追加されるためHyperDexがユニークなソフトウェアです。 の特長の：ます。 < UL> 検索可能ファストます。スケーラブルます。フォールトトレラントます。一貫したます。 のこのリリースのの新機能： ...
HyperSQLは、HTMLソースコードのリストに、SQLビュー、プロシージャ、パッケージおよびファンクションをhypermapping、これらが使用されているすべてのコードの位置を示す＆NBSPは、SQL用のDoxygenのようなものである。「使用場所」の内部機能は、C ++やJavaのソースをスキャンファイル この特長： この柔軟な構成の.iniファイルを使用することにより.cssファイルを使用してきれいにフォーマットHTMLファイル、調整可能なCSSを生成し、SQL、C...
hypua2jamoはハングル字母（U + 1100〜U + 11FF）、すなわち音節初期ピーク決勝エンコーディング（첫가끝をUnicodeに漢陽-PUAコード（U + E0BC〜U + F8F7）を変換するためのPythonモジュールです코드 ）。の例の＆NBSP; >>> hypua2jamoのインポートから翻訳する＆NBSP; >>> PUA = U '\ ub098 \ ub78f \ u302e \ ub9d0 \ u302f \ uebd4 \ ubbf8 \ u302e」＆NBSP;...
国際化は、国際化されたアプリケーションのワークフローや開発を簡素化しようとするパッケージです＆NBSP;これは、特定のgettextのとバベルで、既存のツール薄いラッパです。の基本的な使い方の＃のdemo.py＃i18n.translatorインポート翻訳からsupported_languages = ['語it_IT'、 'はfr_FR'、 'をde_DE']位イタリアン翻訳を活性化するTR =翻訳（...
IA-32命令のデータベースは、オペランド、引数、接頭辞、符号化の詳細、および説明を指定してSQLソースの形ですべてのIA-32命令の記述があります。このデータベースの情報は、最初は（残念ながら古くなって）IA-32インテル（R）アーキテクチャ·ソフトウェア·デベロッパーズ·マニュアル2002からの情報を使用して生成されたXI（http://verb.org.ua/xi/）プロジェクトから来ました。現在のリリースは、アルファですので、あなたのフィードバックやバグ報告は非常にかなりのです！どのようにビルドしま...
