equ-iitg formal equivalence checker 1.2

関連プログラム

• ArmedBear / J 無料

  アームドベア(ABCL)は、Javaで書かれた一般的なリスプです。そのコンパイラは、Javaの「書き込み一度、どこでも実行する」哲学を利用して、JVMバイトコードを生成します。Jは、構文の強調表示や自動インデントなどを特徴とするJavaで書かれたテキストエディタです。

• Integrated PearPC GUI 無料

  IPG は統合された PearPC GUI で、Windows ベースの GUI 内で PearPC エミュレータを設定して実行することができます。

• wxWindows Project Manager for VC7 無料

  Visual C++ 7 で wxWindows を使用する作業を簡略化するためのツールのセット。

• flam3 editor 無料

  Flam3エディターは、従来のflam3ソフトウェアパックを中心に構築されています。エディタを使用すると、電気羊やアポピシスファイルのような宇宙の再帰フラクタル炎をロード、編集、保存することができ、伝統的なflam3 xmlパラメータファイルを処理します。

• InvisiBright Free 無料トライアル

  **このアプリが好きなら、プロ版:)試してみることを検討してください**InvisiBright は目に見えない明るさ調整ユーティリティです。画面をスワイプするか、デバイスを傾けることによって、任意のアプリケーションの内側から調整します。このようなチェックで明るさを維持することは、バッテリーを節約するための最良の方法です!特徴は次のとおりです。- 検索キーホールドショートカット(プロのみ)- ステータスバーのショートカット

• serverM - a powerful host-based IDS 無料

  serverM は、非常に柔軟なシグネチャ ベースのホスト ベースの侵入検知システム (HIDS) です。Perlデーモンとして実行すると、CPUをほとんど使用しなくなり、広範囲の侵入を検出できます。署名言語は強力で、アラームオプションはさまざまです。

• Eclipse SpringIDE Extensions 無料

  SpringIDE プロジェクトの拡張 (スプリングエクリップとスプリングフレームワークを参照)。現在含まれています: クラス (移動/名前変更) とメソッド (名前の変更) リファクタリング参加者, 検索サポートと 'クイック修正' 貢献.

• Generic Entity Manager 無料

  Lua バインディングを使用して C++ で作成された汎用ゲーム エンティティ マネージャー。初期段階では、atm. ゲームエンティティシステム - 現在追加のプロジェクトメンバーを求めています。

• ajaxnet4j 無料

  ajaxnet4j は、有名なAjax.NETプロフェッショナルライブラリの Java 実装です。この機能を活用すると、サーバー側のビジネス ロジックとクライアント側のユーザー エクスペリエンスに集中でき、両者の接続に多くの時間を費やす必要はありません。

• NSketch, .Net sketch-based algorithms 無料

  NSketch ライブラリは、最も一般的なスケッチベースのアルゴリズム (ヒストグラム、分位数、頻繁なアイテム、ブルーム フィルター .. ) の実装を提供します。ライブラリは C# で .Net 用に書かれています。