Archive of Formal Proofs 2011

関連プログラム

• ADAM Abstract Data Access Models 無料

  2 非標準アプローチに基づく一時的および永続的なオブジェクトモデルを持つ Java フレームワーク (あまり明白ではないが、開発の速度が速い): オブジェクトは名前付きフィールドのセットです。3 つの非オブジェクト ライブラリにより、RDB に格納されているテーブルやテキスト ファイルなどにアクセスできます。

• Jedora Remix VM 無料

  仮想マシン Linux アプライアンス (仮想ボックス用)。この Fedora リミックスは、Java ベースのアプリケーションに重点を置いています。OpenOffice.org、OpenJDK、ブラウザープラグイン(IcedTea)、およびAzureus / Vuze、jEditなどの人気のあるJavaベースのアプリケーションが含まれています。

• DataAide 無料

  DataAide は、SQL Server 2000 クライアント ツールを使用して、VB.Net、C#、または VB6 クラスを生成し、SQL Server 2k データベース内のテーブルのストアド プロシージャを生成するVB.Net デスクトップ アプリケーションです。また、ストアド プロシージャを呼び出すADO.Netまたは ADO コードも生成します。

• BlackFox OM (30' Series) 無料

  BlackFox OM (BlackFox, オブジェクトモデル) は、あらゆるシステム、アプリケーション、ライブラリのオブジェクトモデルを保持し、操作するためのライブラリです。UML ツールの一部として、コード ジェネレーターの一部、オブジェクト指向のオペレーティング システムの一部として使用できます。

• InfraHID 無料

  プロジェクトの目的は、通常の Web カメラをヒューマン インターフェイス デバイス (HID) として使用できるようにすることです。このソフトウェアの使用方法の例としては、マウス、コントロールビデオゲーム、電子ホワイトボード、タブレットPCの代替品などがあります。

• Prop compiler compiler 無料

  プロップは、C++ に基づくパターンマッチング言語です。代数的なデータ型、パターンマッチング、書き換えを実装し、C++ コードを出力として生成します。

• ga-flamoot 無料

  割り当てられたデータ空間に特定の文字列を書き込むプログラムを進化させるPythonの遺伝的アルゴリズムで、7つの命令と流れの逆転だけで作られた機械言語を使用します。

• Fennel 無料

  Fennel は、C++ で記述されたデータストレージと処理コンポーネントのライブラリです。 アイゲンベースプロジェクトのサブプロジェクトとして開発され、ファラゴプロジェクトの基質としても機能します。

• NExcel 無料

  NExcel ライブラリを使用すると、.NET アプリケーションは Ms Excel ファイルを読み取ることができます。Excel 97 および上部と互換性があります。Ms Office Excel またはサードパーティ製のライブラリをインストールする必要はありません。アンドリュー・カーンによるJExcelAPIに基づいています。

• OpenTag 無料

  OpenTag は DASH7 モード 2 (ISO 18000-7.4) のフル機能の通信スタックです。組み込み HW 、特に RF SoC で実行することを意図していますが、ほとんど何でも移植できます。OpenTagの主な偉業は、その大きな特徴セットですが、フットプリントは小さいです。