これは libmx という名前の Windows アプリで、最新リリースは libmx-0.2.tar.gz としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
OnWorks を使用して libmx という名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOSOnWorksオンラインエミュレーターを起動しますが、Windowsオンラインエミュレーターの方が優れています。
-5。起動したばかりのOnWorksWindows OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードしてインストールします。
-7.LinuxディストリビューションソフトウェアリポジトリからWineをダウンロードします。 インストールしたら、アプリをダブルクリックして、Wineで実行できます。 また、人気のあるWindowsプログラムやゲームのインストールに役立つWine上の豪華なインターフェイスであるPlayOnLinuxを試すこともできます。
WineはLinux上でWindowsソフトウェアを実行する方法ですが、Windowsは必要ありません。 Wineは、任意のLinuxデスクトップでWindowsプログラムを直接実行できるオープンソースのWindows互換性レイヤーです。 基本的に、Wineは、実際にWindowsを必要とせずに、これらすべてのWindowsアプリケーションを実行できるように、十分な数のWindowsを最初から再実装しようとしています。
スクリーンショットは
Ad
libmx
DESCRIPTION
「mx」は、ラムダ計算式のタイプと値の両方を評価する「libmx」(以下を参照)のコマンドラインテストドライバーです(以下を参照)。http://en.wikipedia.org/wiki/Lambda_calculus)ユーザーによって提供されます。
「libnpmx.so」(MS Windowsでは「npmx.dll」)はNPAPIプラグイン(http://en.wikipedia.org/wiki/NPAPI)「libmx」に基づくMozilla FirefoxWebブラウザの場合。
「libmx」は、(拡張およびオプションの型指定された)ラムダ計算式を処理するためのフレームワークを提供します。 それが提供する他の機能の中で
ラムダ計算式の値を評価するためのテンプレートインスタンス化マシン、
Hindley-Milnerタイプを評価するためのテンプレートインスタンス化マシン(http://en.wikipedia.org/wiki/Hindley-Milner)ラムダ計算式の、および
oラムダ計算の式と型の参照カウンターベースのメモリ管理。
「libmx」はC(C99)で書かれています。
ユーザーインターフェース
コマンドライン、プラグイン
プログラミング言語
C
カテゴリー
これは、https://sourceforge.net/projects/libmx/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。