UNB Theorem Prover?

関連プログラム

• fastAOP 無料

  FastAOP は、Java 用の非常に高性能な AOP (アスペクト指向プログラミング) フレームワークです。フレームワークは最初はランタイムオーバーハドがほぼ発生していない大規模な J2EE アプリケーションのパフォーマンスプロファイリングと監視をサポートするために開発されました。

• Butterfly Code Generator 無料

  Butterfly は、入力テンプレートとして XMI を使用する単純なコードジェネレーターで、あらゆるタイプのコードを生成する XSLT テンプレートです。 EJB、JDO、支柱など、いくつかのテンプレートが用意されています。ユーザーは、テンプレートを使用したり、テンプレートを変更したり、XSL を使用して新しいテンプレートを作成したりできます。

• Neural network designer 無料

  このプロジェクトは、いくつかのデモ アプリケーション (MVC3 チャットボット クライアントと Android アプリケーションを含む) と共に、Windows ベースのデザイナー アプリケーションとライブラリ (Android を含む複数のプラットフォームで実行できます) で構成されます。データベース管理システムに比べて、リレーショナル データではなくニューラル ネットワークに比べて、おそらく最適です。そのため、高度なストリーミングおよび

• DL-Learner 無料

  DL-Learner は、ユーザーが提供する例から説明ロジック (DL) の概念を学習するためのツールです。同様に、選択したオブジェクトからOWLオントロジーのクラスを学習するために使用できます。

• MakeEmbeddedRootfilesystem 無料

  Makerootfs を使用すると、シェルスクリプト、パッチ、デフォルト設定を通じてクロスコンパイルプロセスを自動化することで、組み込みデバイス(ARM ベースなど)のルートファイルシステムを簡単に構築できます。uClibc を使用するビルドルートとは異なり、メイクルートは完全な glibc を使用します。

• VCS Agents and Tools 無料

  このプロジェクトの目的は、オープンソースベースでVeritasクラスタサーバーにプラグイン("agents")を提供することです。

• Etnia Workbench 無料

  CDTプロジェクトのウィッチへの拡張は、様々なプラットフォーム(実際にテキサスインスツルメンツ&PICマイクロプロセッサ)を統合するために余分なコンパイラやその他のプラグインを構成します

• Steini\'s Mini Compiler 無料

  Steini\のミニコンパイラは高速DOS 16ビットコンパイラです。新しいコマンドを書くプログラミング言語を改善するために助けてください。コンパイラは、コンパイルプロセスに一連のアセンブリ ファイルを使用します。

• JCustomizer 無料

  JCustomizerプロジェクトのターゲットは、実行時にすべてのJava Swing / AWT GUIの一般的かつ永続的なカスタマイズです:フォント、色、テキスト、アクセラレータ、..素敵な伴奏は、プログラミングの努力なしに国際化へのWYSIWYGアクセスです。

• net.sourceforge.ajstruts 無料

  ドイツの"Java Magazin"誌で2003年11月11日に掲載された記事(http://ajstruts.sf.net)のソースコードは、第三者のlibs(例えば支柱)をプロジェクトのニーズに適応させ、AspectJとXSLTスタイルシートを使用して新しいライブラリバージョンへの移行を容易にする方法を示しています。