![](/statics/img/blank.png)
Visual Lambda Calculator with Mind Maps
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/vlcmm/files/vlcmm/bin/vlcmm.zip/download
に関しては Visual Lambda Calculator with Mind Maps
型付きマインドマップに基づく完全な視覚的表現を導入し、純粋な型指定されていないラムダ計算機VLMの計算ステップを表します。
関連プログラム
-
XML-RPC for C/C++ (Xmlrpc-c) 無料
C または C++ で XML-RPC サーバーまたはクライアントを作成するためのプログラミング ライブラリ。XML-RPC は、クライアント プログラムがサーバーの単純なリモート プロシージャ コール (RPC) 型要求を行うことを可能にする標準のネットワーク プロトコルです。SOAPやCORBAのように、しかしはるかに簡単です。
-
Visio-EMF Bridge 無料
Visio-EMF ブリッジは、Visio ステンシルと Visio モデルをそれぞれ EMF メタモデルおよび EMF モデルに変換します。ブリッジは、オープンアーキテクチャウェアやエクリプスイプシロンなどの EMF ツールを使用して Visio モデルを処理できるようにします。
-
DMG Automounter for Linux 無料
DMGオートマウンタは、Linuxの任意のディストリビューションがMac OS X .dmgファイルをマウントできるようにするノーチラススクリプトです(ただし、それはクローズドソースであるMac OS X APIを必要とするため、インストールはできません)。README にはインストール手順全体があります。寄付してください!
-
LiveGraph 無料
リアルタイムグラフプロッタ。アプリケーションが LiveGraph Writer API を使用して結果を計算して CSV ファイルに記録している間、プロッタを使用すると、データのグラフやグラフを瞬時にプロットすることで、結果をリアルタイムで視覚化および監視できます。
-
MGP 無料
Maven GWT プラグインは、Java ソースから JavaScript ソースファイルをコンパイルするために使用されます。プラグインは、GWTCompilerを実行し、コンパイラオプションを設定することができ、自動的にソースとリソースファイルの場所を検出します。ローカルの GWT インストールを必要としません。
-
pGina 無料
pGina は、Windows OS のオープンソースの交換認証システムで、プラグインを書き込みやすく、無限のバックエンド経由で認証に対応します。
-
PostNuke module pnEWiki 無料
ErfurtWiki は、WikiWikiWeb ハイパーテキストシステム (PHP スクリプト言語で記述された) の実装です。 pnEWikiは、ポストヌークへのエアフルトWikiの統合と強化のためのポストヌークモジュールです。
-
Stewien's Miscellanous Libraries 無料
各種ライブラリ、小規模アプリケーション、およびユーティリティのコレクション。みんなのために少し何か。
-
ioda fulltext engine 無料
ioda は、単語やメタ データを格納するフルテキスト インデックスソフトウェアです。クエリ内の論理演算子、かっこ、および単語の距離値を処理します。既存のデータベースまたはスタンドアロンの補足として使用すること。単一のプログ、TCP サーバー、CGI またはライブラリとして実行されます。
-
more - a C++ library 無料
多目的ライブラリ: STL 関連、クロージャラム式、および部分的な順序付け。 コード生成コンパイル リンク、および解釈された関数呼び出し。 数学と物理学、スピン素、ENSDFパーサなど。