これは libmx という名前の Linux アプリで、その最新リリースは libmx-0.2.tar.gz としてダウンロードできます。 これは、ワークステーション用の無料のホスティング プロバイダーである OnWorks でオンラインで実行できます。
OnWorks を使用して libmx という名前のこのアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
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でホストされています。